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

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

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

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

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

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

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

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

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

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

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

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