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

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

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

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

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

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

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

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

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

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

1. 1∃x (F(x) → ¬G(x))
2. 2∃x (F(x) ∧ ¬G(x))
3. 3∀x (F(x) ∧ ¬G(x))
4. 4∃x (¬F(x) ∧ G(x))