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

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

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

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

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

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

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

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

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

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

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

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