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

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

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

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

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

1. 1(a ∨ b) ∧ (a ∨ c)
2. 2(a ∧ b) ∨ c
3. 3a ∨ (b ∧ c)
4. 4(a ∧ b) ∨ (a ∧ c)

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

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

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

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

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