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

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

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

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

1.سهلة

كم صفًا N في جدول الصدق الكامل لـ (¬a ↔ (b ∧ c)) → ((c ∧ b) ↔ a)؟

(¬a ↔ (b ∧ c)) → ((c ∧ b) ↔ a)
N =
2.سهلة
abca ∨ ¬(¬c ∧ ¬b)111?110?101?100?011?010?001?000?

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

a ∨ ¬(¬c ∧ ¬b)
N =
3.متوسطة
¬(q ∨ p) → ¬¬r(q ∨ p) → ¬r¬r ∧ ¬(q ∨ p)¬¬r → ¬(q ∨ p)

تريد إثبات ¬r → (q ∨ p) بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

¬r → (q ∨ p)
  1. 1¬(q ∨ p) → ¬¬r
  2. 2(q ∨ p) → ¬r
  3. 3¬r ∧ ¬(q ∨ p)
  4. 4¬¬r → ¬(q ∨ p)
4.متوسطة
abc¬bc → ¬b((a ∨ b) → a) ↔ (c → ¬b)111?110?101?100?011?010?001?000?

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

((a ∨ b) → a) ↔ (c → ¬b)
N =
5.صعبة
p ∧ ¬qq¬p¬q

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

p → qp
  1. 1p ∧ ¬q
  2. 2q
  3. 3¬p
  4. 4¬q
6.صعبة
r ∧ ¬q¬rq¬q

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

r → qr
  1. 1r ∧ ¬q
  2. 2¬r
  3. 3q
  4. 4¬q

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

  1. 1. N = 8
  2. 2. N = 7
  3. 3. ¬(q ∨ p) → ¬¬r
  4. 4. N = 6
  5. 5. q
  6. 6. q

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