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

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

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

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

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

1.ง่าย
abb ∨ a11?10?01?00?

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

b ∨ a
N =
2.ง่าย
abb ∨ (¬b ↔ a)11100100

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ b ∨ (¬b ↔ a) เป็นเท็จ ให้คลิกแถวนั้น

b ∨ (¬b ↔ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.ปานกลาง
pqr¬q(q ∨ r) ∧ ¬q((p ∧ r) ∨ p) → ((q ∨ r) ∧ ¬q)111?110?101?100?011?010?001?000?

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

((p ∧ r) ∨ p) → ((q ∨ r) ∧ ¬q)
N =
4.ปานกลาง
pqr¬r ∧ ¬qp → q(¬r ∧ ¬q) ∧ (p → q)111?110?101?100?011?010?001?000?

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

(¬r ∧ ¬q) ∧ (p → q)
N =
5.ยาก

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

((d ↔ ¬b) ∨ ¬c) → ((a ↔ ¬c) ↔ (¬d ↔ a))
N =
6.ยาก
abcb → ac → ab → c111110101100011010001000

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

b → ac → a∴ b → c
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0

เฉลย

  1. 1. N = 3
  2. 2. a = 0, b = 0
  3. 3. N = 5
  4. 4. N = 1
  5. 5. N = 10
  6. 6. a = 1, b = 1, c = 0

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