The card covers some symbols and formal notation used in classical logic: propositional and predicate.

• Logical symbols
• Connectives (operators) with rules
• How to construct truth table
• Construction of proposition and main connective
• Scope of quantifier and bound variables
• Rules for semantic (tableaux) trees
• Methods to check logical properties using trees (validity, satisfiability, equivalence ..)
• Rules to move quatifiers for prenex normal form

I created this reference card while studying for Logic course at Pisa University. I found very challenging to grasp and remember all symbols and rules. The notation and some definitions comes from the "Logic: The Laws of Truth" by Nicholas J.J. Smith (just great!)

If you are searching what a hell is 𝕸 and need a help with tableaux rules, feel free to download and print this cheat sheet.