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

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

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

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

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

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

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

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

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

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