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

كُتب جدول الصدق الكامل لـ ((¬p ∨ q) ∧ (q ∧ r)) → ¬(r ∧ p). في كم صفًا N تكون p = 1 وq = 0؟

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

تريد إثبات b → ¬c بالتناقض. أي عبارة تفترضها في البداية؟ انقر عليها.

1. 1b ∧ ¬¬c
2. 2¬b ∧ ¬¬c
3. 3¬b ∧ ¬c
4. 4¬b → ¬¬c

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

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

المقدمات r → q; q → p معطاة. أي استنتاج يلزم عنها؟ انقر عليه.

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

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

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