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.