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

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

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

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

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

1.ง่าย
pq(q ∧ p) ∨ (p ∨ q)11?10?01?00?

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

(q ∧ p) ∨ (p ∨ q)
N =
2.ง่าย

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

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

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

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

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

¬(a ∧ b) → ¬((b ∨ ¬c) ↔ ¬a)
N =
5.ยาก
a¬ab¬a ∧ b

กำหนดสมมติฐาน a → c; c → b; ¬b บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

a → cc → b¬b
  1. 1a
  2. 2¬a
  3. 3b
  4. 4¬a ∧ b
6.ยาก
∃x ¬P(x)∀x ¬P(x)∃x P(x)∀x P(x)

ประโยคใดสมมูลกับ ¬∃x P(x) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

¬∃x P(x)
  1. 1∃x ¬P(x)
  2. 2∀x ¬P(x)
  3. 3∃x P(x)
  4. 4∀x P(x)

เฉลย

  1. 1. N = 3
  2. 2. N = 2
  3. 3. N = 7
  4. 4. N = 4
  5. 5. ¬a
  6. 6. ∀x ¬P(x)

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