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

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

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

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

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

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

في كم صفًا من الصفوف الثمانية لجدول صدق ((p → q) ∧ r) ∧ (p → q) تكون صائبة؟ سمِّ هذا العدد 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))

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

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