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

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

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

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

1.سهلة
pqr(p ∧ ¬q) → (r ↔ ¬p)111?110?101?100?011?010?001?000?

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

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

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

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

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

r ↔ p
  1. 1(r → p) ∧ (¬p → ¬r)
  2. 2(r → p) ∧ (p → r)
  3. 3(r → p) ∨ (p → r)
  4. 4r ∧ p
4.متوسطة
حشوتناقضممكنة

هل (a ↔ c) ∧ (a ↔ ¬c) حشو أم تناقض أم ممكنة؟ انقر على إجابتك.

(a ↔ c) ∧ (a ↔ ¬c)
  1. 1حشو
  2. 2تناقض
  3. 3ممكنة
5.صعبة
∃x ∃y ¬R(x, y)∀x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)

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

¬∃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∃x ∀y ¬R(x, y)
6.صعبة
ba¬ab ∧ c

المقدمات b ∨ c; b → a; c → a معطاة. أي استنتاج يلزم عنها؟ انقر عليه.

b ∨ cb → ac → a
  1. 1b
  2. 2a
  3. 3¬a
  4. 4b ∧ c

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

  1. 1. N = 7
  2. 2. N = 2
  3. 3. (r → p) ∧ (p → r)
  4. 4. تناقض
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. a

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