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

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

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

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

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

هل (p → q) ∧ (p ∧ ¬q) حشو أم تناقض أم ممكنة؟ انقر على إجابتك.

1. 1حشو
2. 2تناقض
3. 3ممكنة

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

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

الحجة ذات المقدمات r → (p ∨ q); r والاستنتاج p غير صحيحة. انقر على صف جدول الصدق الذي يمثل مثالًا مضادًا.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0