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

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

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

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

1.سهلة
ab(b ∧ a) ∨ (b ∨ a)11?10?01?00?

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

(b ∧ a) ∨ (b ∨ a)
N =
2.سهلة

كُتب جدول الصدق الكامل لـ ¬((b ∧ c) ∧ (¬(b → ¬a) → ¬(c ∨ a))). في كم صفًا N تكون a = 1 وc = 0؟

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

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

((a → b) ∧ ¬a) → ¬b
  1. 1حشو
  2. 2تناقض
  3. 3ممكنة
4.متوسطة
حشوتناقضممكنة

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

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

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

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

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

¬∃x P(x)
  1. 1∃x P(x)
  2. 2∀x ¬P(x)
  3. 3∃x ¬P(x)
  4. 4∀x P(x)

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

  1. 1. N = 3
  2. 2. N = 2
  3. 3. ممكنة
  4. 4. تناقض
  5. 5. ∃x (A(x) ∧ ∀y ¬R(x, y))
  6. 6. ∀x ¬P(x)

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