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

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

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

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

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

1.ง่าย
ab(b → a) ↔ a11100100

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

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

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

(p ∨ r) → (r ∧ ¬q)
N =
3.ปานกลาง
¬c → bb ∧ ¬¬c¬b → ¬¬c¬¬c → ¬b

คุณต้องการพิสูจน์ b → ¬c ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

b → ¬c
  1. 1¬c → b
  2. 2b ∧ ¬¬c
  3. 3¬b → ¬¬c
  4. 4¬¬c → ¬b
4.ปานกลาง
¬q ∨ ¬pq → ¬p¬q → ¬pq ∧ ¬p

สูตรใดสมมูลเชิงตรรกะกับ ¬(q → p) ให้คลิกสูตรนั้น

¬(q → p)
  1. 1¬q ∨ ¬p
  2. 2q → ¬p
  3. 3¬q → ¬p
  4. 4q ∧ ¬p
5.ยาก

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

((¬s ∨ q) ∨ ¬r) ∨ (p ∨ ¬(r ∨ s))
N =
6.ยาก

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

((b → a) ∧ c) ∨ ¬((b ↔ d) ↔ ¬(¬a ∨ d))
N =

เฉลย

  1. 1. a = 0, b = 0
  2. 2. N = 4
  3. 3. ¬¬c → ¬b
  4. 4. q ∧ ¬p
  5. 5. N = 15
  6. 6. N = 11

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