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

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

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

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

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

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

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

(r ∨ q) ∨ (p ∨ q)
N =
2.ง่าย
pqrp ↔ (r ∨ ¬q)111?110?101?100?011?010?001?000?

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

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

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

¬(c → b)
  1. 1¬c → ¬b
  2. 2c ∧ ¬b
  3. 3¬c ∧ b
  4. 4c → ¬b
4.ปานกลาง
¬q ∧ pp → qq ∨ ¬p¬q ∨ p

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

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

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

¬((s ∧ ¬(¬r ∧ q)) ∨ (s → ¬p))
N =
6.ยาก
pqrq → pr → pq → r111110101100011010001000

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

q → pr → p∴ q → r
  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 = 7
  2. 2. N = 4
  3. 3. c ∧ ¬b
  4. 4. ¬q ∨ p
  5. 5. N = 1
  6. 6. p = 1, q = 1, r = 0

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