Propositional logic & proofs
- Rows of a truth table
- 2ⁿ
- Implication
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Negated implication
- ¬(p → q) ≡ p ∧ ¬q
- Biconditional
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgan
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Distributive laws
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Negated quantifiers
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Method
- Count the different variables: the truth table has 2ⁿ rows, starting with all of them 1.
- Give every subformula its own column and fill the columns from the inside out.
- Apply the rule of each connective: → is 0 only for 1 → 0, ↔ is 1 when both sides agree.
- For equivalences, compare the final columns row by row; for an argument, look only at the rows in which every premise is 1.
- To negate a quantified statement, move ¬ inwards, swap ∀ and ∃, and negate the inner formula.