1.سهلة
كُتب جدول الصدق الكامل لـ ¬((r ↔ ¬(¬q ∧ p)) ∨ ¬(r ∨ (p ↔ q))). في كم صفًا N تكون p = 1 وr = 0؟
¬((r ↔ ¬(¬q ∧ p)) ∨ ¬(r ∨ (p ↔ q)))
N =
ورقة عمل المنطق القضوي والبراهين مع الإجابات
2.سهلة
كم صفًا N في جدول الصدق الكامل لـ (¬p ∨ r) → ((¬r ∧ ¬q) ∧ (p ∨ q))؟
(¬p ∨ r) → ((¬r ∧ ¬q) ∧ (p ∨ q))
N =
3.متوسطة
تريد إثبات ¬p → r بالتناقض. أي عبارة تفترضها في البداية؟ انقر عليها.
¬p → r
- 1¬¬p ∧ ¬r
- 2¬¬p ∧ r
- 3¬p ∧ ¬r
- 4¬¬p → ¬r
4.متوسطة
أي صيغة تكافئ (q ∨ r) → p منطقيًا؟ انقر عليها.
(q ∨ r) → p
- 1(q → p) ∧ (r → p)
- 2q ∨ (r → p)
- 3(q → p) ∨ (r → p)
- 4(q ∧ r) → p
5.صعبة
كم صفًا من الصفوف الـ 16 لجدول الصدق تجعل (b → (c ∧ a)) → (¬d ∨ a) صائبة؟ سمِّ هذا العدد N.
(b → (c ∧ a)) → (¬d ∨ a)
N =
6.صعبة
أي عبارة تكافئ ¬∀x (F(x) → ∃y R(x, y)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.
¬∀x (F(x) → ∃y R(x, y))
- 1∃x (F(x) → ∀y ¬R(x, y))
- 2∀x (F(x) ∧ ∀y ¬R(x, y))
- 3∃x (¬F(x) ∧ ∃y R(x, y))
- 4∃x (F(x) ∧ ∀y ¬R(x, y))
مفتاح الإجابات
- 1. N = 2
- 2. N = 8
- 3. ¬p ∧ ¬r
- 4. (q → p) ∧ (r → p)
- 5. N = 14
- 6. ∃x (F(x) ∧ ∀y ¬R(x, y))
حلول كاملة خطوة بخطوة: تدرّب على هذا الموضوع في examproblems.com.