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

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

ورقة عمل جديدةتدرّب عبر الإنترنت مع التلميحات

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

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

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

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

p → ¬(¬q → p)
N =
2.سهلة
pqq ∨ ¬p11?10?01?00?

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

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

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

¬(r → p)
  1. 1r → ¬p
  2. 2¬r ∨ ¬p
  3. 3¬r ∧ p
  4. 4r ∧ ¬p
4.متوسطة
¬p ∧ ¬¬r¬p → ¬¬r¬p ∧ ¬rp ∧ ¬¬r

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

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

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

¬∀x (P(x) → ∃y R(x, y))
  1. 1∃x (P(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (¬P(x) ∧ ∃y R(x, y))
  3. 3∀x (P(x) ∧ ∀y ¬R(x, y))
  4. 4∃x (P(x) → ∀y ¬R(x, y))
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 = 3
  3. 3. r ∧ ¬p
  4. 4. p ∧ ¬¬r
  5. 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
  6. 6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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