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

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

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

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

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

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

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

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

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

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

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

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