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

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

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

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

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

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

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

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

1. 1∀x (A(x) ∧ ¬B(x))
2. 2∀x (¬A(x) ∧ ¬B(x))
3. 3∃x (¬A(x) ∧ ¬B(x))
4. 4∀x (A(x) → ¬B(x))

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