المنطق القضوي والبراهين
- صفوف جدول الصدق
- 2ⁿ
- الاستلزام
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- نفي الاستلزام
- ¬(p → q) ≡ p ∧ ¬q
- الشرط الثنائي
- p ↔ q ≡ (p → q) ∧ (q → p)
- دي مورغان
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- قوانين التوزيع
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- نفي الكمّمات
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- قاعدة الوضع (modus ponens) وقاعدة الرفع (modus tollens)
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
الطريقة
- عُدّ المتغيرات المختلفة: لجدول الصدق 2ⁿ صفًا، ويبدأ بصف تكون فيه كلها 1.
- أعطِ كل صيغة جزئية عمودها الخاص واملأ الأعمدة من الداخل إلى الخارج.
- طبّق قاعدة كل رابط: → يساوي 0 فقط في الحالة 1 → 0، و ↔ يساوي 1 عندما يتفق الطرفان.
- للتكافؤات قارن العمودين الأخيرين صفًا بصف؛ وللحجة انظر فقط إلى الصفوف التي تكون فيها كل المقدمات 1.
- لنفي عبارة مكمَّمة، انقل ¬ إلى الداخل، وبدّل ∀ و ∃، وانفِ الصيغة الداخلية.