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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

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

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

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

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

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

أي عبارة تكافئ ¬∀x ∃y R(x, y) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

1. 1∃y ∀x ¬R(x, y)
2. 2∃x ∀y ¬R(x, y)
3. 3∀x ∃y ¬R(x, y)
4. 4∀x ∀y ¬R(x, y)