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

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

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

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

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

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

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

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

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

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

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

تريد إثبات c → ¬a بالتناقض. أي عبارة تفترضها في البداية؟ انقر عليها.

c → ¬a
  1. 1¬c → ¬¬a
  2. 2¬c ∧ ¬a
  3. 3c ∧ ¬¬a
  4. 4¬c ∧ ¬¬a
5.صعبة

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

((¬p ∨ ¬q) ∨ (s ∨ ¬r)) ∨ ¬((¬r ∨ p) ∨ ¬s)
N =
6.صعبة
∀x (P(x) → ¬Q(x))∀x (¬P(x) → ¬Q(x))∀x (P(x) ∧ ¬Q(x))∃x (P(x) ∧ ¬Q(x))

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

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

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

  1. 1. N = 5
  2. 2. N = 3
  3. 3. حشو
  4. 4. c ∧ ¬¬a
  5. 5. N = 15
  6. 6. ∀x (P(x) ∧ ¬Q(x))

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