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

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

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

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

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

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

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

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

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

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

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

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

(r → p) ∨ (¬q ∨ (p ∧ q))
N =
5.صعبة
¬rprr ∧ ¬p

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

(q ∧ r) → pq¬p
  1. 1¬r
  2. 2p
  3. 3r
  4. 4r ∧ ¬p
6.صعبة
∀x (¬A(x) → ¬B(x))∃x (A(x) ∧ ¬B(x))∀x (A(x) ∧ ¬B(x))∀x (A(x) → ¬B(x))

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

¬∃x (A(x) → B(x))
  1. 1∀x (¬A(x) → ¬B(x))
  2. 2∃x (A(x) ∧ ¬B(x))
  3. 3∀x (A(x) ∧ ¬B(x))
  4. 4∀x (A(x) → ¬B(x))

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

  1. 1. N = 2
  2. 2. N = 2
  3. 3. ¬p ∨ ¬q
  4. 4. N = 7
  5. 5. ¬r
  6. 6. ∀x (A(x) ∧ ¬B(x))

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