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

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

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

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

تريد إثبات a → b بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

1. 1a ∧ ¬b
2. 2¬a → ¬b
3. 3¬b → ¬a
4. 4b → a

أي صيغة تكافئ ¬(p ↔ q) منطقيًا؟ انقر عليها.

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

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

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

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

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