ورقة عمل المنطق القضوي والبراهين مع الإجابات

يوجد صف واحد بالضبط في جدول الصدق يجعل (b ∨ ¬a) → b خاطئة. انقر على ذلك الصف.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

يوجد صف واحد بالضبط في جدول الصدق يجعل (q ∨ p) ∨ ¬(¬(q ∨ p) ∧ ¬r) خاطئة. انقر على ذلك الصف.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

في كم صفًا من الصفوف الثمانية لجدول صدق (p ∨ (¬p ↔ r)) ↔ (r ∨ q) تكون صائبة؟ سمِّ هذا العدد N.

تريد إثبات (r ∧ p) → ¬q بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

1. 1¬q → (r ∧ p)
2. 2¬(r ∧ p) → ¬¬q
3. 3¬¬q → ¬(r ∧ p)
4. 4(r ∧ p) ∧ ¬¬q

المقدمات q ∨ p; ¬q ∨ r معطاة. أي استنتاج يلزم عنها؟ انقر عليه.

1. 1p ∨ r
2. 2q ∨ r
3. 3p ∧ r
4. 4¬p

كم صفًا من الصفوف الـ 16 لجدول الصدق تجعل (¬c ∧ a) ↔ (d ∨ (b ↔ c)) صائبة؟ سمِّ هذا العدد N.