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

كُتب جدول الصدق الكامل لـ ¬((q → (¬p ∨ r)) → (¬p ∨ (q → r))). في كم صفًا N تكون p = 1 وr = 0؟

أكمل جدول الصدق (1 = صواب، 0 = خطأ). في كم صفًا N تكون ¬(b ∧ ¬a) صائبة؟

أي صيغة تكافئ q → r منطقيًا؟ انقر عليها.

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

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

أي عبارة تكافئ ¬∀x (F(x) → G(x)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

1. 1∃x (¬F(x) ∧ G(x))
2. 2∃x (F(x) → ¬G(x))
3. 3∀x (F(x) ∧ ¬G(x))
4. 4∃x (F(x) ∧ ¬G(x))

الحجة ذات المقدمات b → (a ∨ c); b والاستنتاج a غير صحيحة. انقر على صف جدول الصدق الذي يمثل مثالًا مضادًا.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0