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

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

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

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

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

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

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

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

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

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

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

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