ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ พร้อมเฉลย

ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ ฟรีสำหรับพิมพ์: 6 ข้อ ตั้งแต่ระดับง่ายถึงระดับข้อสอบจริง พร้อมเฉลย พิมพ์หรือบันทึกเป็น PDF ได้

ใบงานใหม่ฝึกออนไลน์พร้อมคำใบ้

สำหรับผู้สอน: พิมพ์ ทำสำเนา และใช้ในชั้นเรียนได้ฟรี ใบงานใหม่แต่ละชุดมีค่าตัวเลขใหม่และเฉลยของตัวเอง หากใส่ลิงก์ไปยัง ExamProblems ในหน้ารายวิชาของคุณ เราจะขอบคุณมาก

ชื่อ: ____________________   วันที่: ____________

1.ง่าย
pqr(¬r ∨ q) → (r ∨ p)111?110?101?100?011?010?001?000?

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ (¬r ∨ q) → (r ∨ p) เป็นจริง

(¬r ∨ q) → (r ∨ p)
N =
2.ง่าย
ab(¬a ↔ b) ∨ b11?10?01?00?

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ (¬a ↔ b) ∨ b เป็นจริง

(¬a ↔ b) ∨ b
N =
3.ปานกลาง
abc¬a ↔ c(¬a ↔ c) ∧ a¬(c ∨ b) ∧ ((¬a ↔ c) ∧ a)111?110?101?100?011?010?001?000?

ในตารางค่าความจริง 8 แถวของ ¬(c ∨ b) ∧ ((¬a ↔ c) ∧ a) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

¬(c ∨ b) ∧ ((¬a ↔ c) ∧ a)
N =
4.ปานกลาง
ซ้ำซ้อน (tautology)ขัดแย้ง (contradiction)contingency

(p → q) ∧ (p ∧ ¬q) เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ

(p → q) ∧ (p ∧ ¬q)
  1. 1ซ้ำซ้อน (tautology)
  2. 2ขัดแย้ง (contradiction)
  3. 3contingency
5.ยาก

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ (¬p ∧ (q ∨ r)) → (¬s → ¬(s ∨ ¬p)) เป็นจริง เรียกจำนวนนี้ว่า N

(¬p ∧ (q ∨ r)) → (¬s → ¬(s ∨ ¬p))
N =
6.ยาก
pqrr → qp → qr → p111110101100011010001000

การอ้างเหตุผลที่มีสมมติฐาน r → q; p → q และบทสรุป r → p ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

r → qp → q∴ r → p
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0

เฉลย

  1. 1. N = 6
  2. 2. N = 3
  3. 3. N = 1
  4. 4. ขัดแย้ง (contradiction)
  5. 5. N = 13
  6. 6. p = 0, q = 1, r = 1

เฉลยทีละขั้นตอนฉบับเต็ม: ฝึกหัวข้อนี้ได้ที่ examproblems.com