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

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

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

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

1.سهلة
pqp ∨ (p ∧ q)11?10?01?00?

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

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

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

¬((a → b) ↔ c)
N =
3.متوسطة
abca ∨ ¬c(a ∨ ¬c) → c(b → (¬b ↔ a)) ∧ ((a ∨ ¬c) → c)111?110?101?100?011?010?001?000?

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

(b → (¬b ↔ a)) ∧ ((a ∨ ¬c) → c)
N =
4.متوسطة
حشوتناقضممكنة

هل (r ∧ (r → p)) → p حشو أم تناقض أم ممكنة؟ انقر على إجابتك.

(r ∧ (r → p)) → p
  1. 1حشو
  2. 2تناقض
  3. 3ممكنة
5.صعبة
∃x (¬F(x) ∨ ¬G(x))∀x (¬F(x) ∧ ¬G(x))∃x (¬F(x) ∧ ¬G(x))∀x (¬F(x) ∨ ¬G(x))

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

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

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

¬∀x ∀y (R(x, y) → R(y, x))
  1. 1∀x ∀y (R(x, y) ∧ ¬R(y, x))
  2. 2∃x ∃y (R(x, y) ∧ ¬R(y, x))
  3. 3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
  4. 4∃x ∃y (R(x, y) → ¬R(y, x))

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

  1. 1. N = 2
  2. 2. N = 4
  3. 3. N = 3
  4. 4. حشو
  5. 5. ∃x (¬F(x) ∧ ¬G(x))
  6. 6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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