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