Logik proposisi & pembuktian
- Baris jadual kebenaran
- 2ⁿ
- Implikasi
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Implikasi dinafikan
- ¬(p → q) ≡ p ∧ ¬q
- Dwisyarat
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgan
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Hukum agihan
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Pengkuantiti dinafikan
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Kaedah
- Kira bilangan pemboleh ubah yang berbeza: jadual kebenaran mempunyai 2ⁿ baris, bermula dengan kesemuanya 1.
- Beri setiap subformula lajurnya sendiri dan isi lajur-lajur itu dari dalam ke luar.
- Gunakan peraturan setiap penghubung: → hanya 0 bagi 1 → 0, ↔ ialah 1 apabila kedua-dua belah sepadan.
- Untuk kesetaraan, bandingkan lajur akhir baris demi baris; untuk hujah, lihat hanya baris yang setiap premisnya 1.
- Untuk menafikan pernyataan berpengkuantiti, alihkan ¬ ke dalam, tukar ∀ dan ∃, dan nafikan formula di dalamnya.