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

يوجد صف واحد بالضبط في جدول الصدق يجعل (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 تكون p → ¬(¬q ∨ p) صائبة؟

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

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

1. 1(p ∨ r) ∧ (p ∨ q)
2. 2p ∧ (r ∨ q)
3. 3(p ∧ r) ∨ (p ∧ q)
4. 4(p ∨ r) ∧ q

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

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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