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

ورقة عمل مجانية قابلة للطباعة في المنطق القضوي والبراهين: 6 مسألة من السهل إلى مستوى الامتحان، مع مفتاح الإجابات. اطبعها أو احفظها بصيغة PDF.

للمعلمين: يمكن طباعتها ونسخها واستخدامها في الصف مجانًا. كل ورقة عمل جديدة لها قيم جديدة ومفتاح إجابات خاص بها. نقدّر إضافة رابط إلى ExamProblems في صفحة مقررك.

الاسم: ____________________   التاريخ: ____________

1.سهلة
pq(¬p → q) ∧ ¬(q ∧ ¬p)11?10?01?00?

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

(¬p → q) ∧ ¬(q ∧ ¬p)
N =
2.سهلة
pq(p ↔ q) ∨ p11?10?01?00?

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

(p ↔ q) ∨ p
N =
3.متوسطة
¬r ↔ ¬qr ↔ ¬qr ∧ ¬q¬r ∨ ¬q

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

¬(r ↔ q)
  1. 1¬r ↔ ¬q
  2. 2r ↔ ¬q
  3. 3r ∧ ¬q
  4. 4¬r ∨ ¬q
4.متوسطة
¬b ∧ ¬(a ∧ c)¬¬b → ¬(a ∧ c)(a ∧ c) → ¬b¬(a ∧ c) → ¬¬b

تريد إثبات ¬b → (a ∧ c) بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

¬b → (a ∧ c)
  1. 1¬b ∧ ¬(a ∧ c)
  2. 2¬¬b → ¬(a ∧ c)
  3. 3(a ∧ c) → ¬b
  4. 4¬(a ∧ c) → ¬¬b
5.صعبة
∀x (P(x) ∧ ∀y ¬R(x, y))∃x (P(x) → ∀y ¬R(x, y))∃x (¬P(x) ∧ ∃y R(x, y))∃x (P(x) ∧ ∀y ¬R(x, y))

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

¬∀x (P(x) → ∃y R(x, y))
  1. 1∀x (P(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (P(x) → ∀y ¬R(x, y))
  3. 3∃x (¬P(x) ∧ ∃y R(x, y))
  4. 4∃x (P(x) ∧ ∀y ¬R(x, y))
6.صعبة

كم صفًا من الصفوف الـ 16 لجدول الصدق تجعل ¬(((¬c ∨ d) ↔ (d ∨ b)) ∨ (a ∧ c)) صائبة؟ سمِّ هذا العدد N.

¬(((¬c ∨ d) ↔ (d ∨ b)) ∨ (a ∧ c))
N =

مفتاح الإجابات

  1. 1. N = 2
  2. 2. N = 3
  3. 3. r ↔ ¬q
  4. 4. ¬(a ∧ c) → ¬¬b
  5. 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
  6. 6. N = 3

حلول كاملة خطوة بخطوة: تدرّب على هذا الموضوع في examproblems.com.