Aussagenlogik & Beweise
- Zeilen einer Wahrheitstafel
- 2ⁿ
- Implikation
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Negierte Implikation
- ¬(p → q) ≡ p ∧ ¬q
- Äquivalenz (Bikonditional)
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgan
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Distributivgesetze
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Negierte Quantoren
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, Modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Methode
- Zähle die verschiedenen Variablen: Die Wahrheitstafel hat 2ⁿ Zeilen und beginnt mit lauter Einsen.
- Gib jeder Teilformel eine eigene Spalte und fülle die Spalten von innen nach außen.
- Wende die Regel jedes Junktors an: → ist nur bei 1 → 0 gleich 0, ↔ ist 1, wenn beide Seiten übereinstimmen.
- Vergleiche bei Äquivalenzen die letzten Spalten Zeile für Zeile; schau bei einem Argument nur auf die Zeilen, in denen alle Prämissen 1 sind.
- Um eine quantifizierte Aussage zu negieren, ziehe ¬ nach innen, vertausche ∀ und ∃ und negiere die innere Formel.