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

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

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

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

1.سهلة

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

¬(((c → b) ∧ b) ∧ (¬a → ¬(c ∧ ¬a)))
N =
2.سهلة
pq(p → q) ↔ p11?10?01?00?

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

(p → q) ↔ p
N =
3.متوسطة
حشوتناقضممكنة

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

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

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

c → (c ∧ a)
  1. 1حشو
  2. 2تناقض
  3. 3ممكنة
5.صعبة
∃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))
6.صعبة
∀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)

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

  1. 1. N = 8
  2. 2. N = 1
  3. 3. ممكنة
  4. 4. ممكنة
  5. 5. ∀x (A(x) → ¬B(x))
  6. 6. ∀x ∃y ¬R(x, y)

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