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

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

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

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

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

1.ง่าย

ตารางค่าความจริงที่สมบูรณ์ของ ¬((a ∨ b) ∨ ¬(a ∧ ¬(c → b))) เขียนไว้ครบแล้ว มีกี่แถว N ที่ a = 1 และ c = 0

¬((a ∨ b) ∨ ¬(a ∧ ¬(c → b)))
N =
2.ง่าย
ab¬((¬b ∧ a) ↔ (a ↔ b))11?10?01?00?

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

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

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

¬(b ∨ ¬b)
  1. 1ซ้ำซ้อน (tautology)
  2. 2ขัดแย้ง (contradiction)
  3. 3contingency
4.ปานกลาง
¬a → ¬b¬b → ¬aa → b¬a ∧ ¬b

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

b → a
  1. 1¬a → ¬b
  2. 2¬b → ¬a
  3. 3a → b
  4. 4¬a ∧ ¬b
5.ยาก
bcc ∨ bc¬b11100100

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

c ∨ bc∴ ¬b
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0
6.ยาก
r ∨ qp ∨ q¬pp ∧ q

กำหนดสมมติฐาน r ∨ p; ¬r ∨ q บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

r ∨ p¬r ∨ q
  1. 1r ∨ q
  2. 2p ∨ q
  3. 3¬p
  4. 4p ∧ q

เฉลย

  1. 1. N = 2
  2. 2. N = 3
  3. 3. ขัดแย้ง (contradiction)
  4. 4. ¬a → ¬b
  5. 5. b = 1, c = 1
  6. 6. p ∨ q

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