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

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

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

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

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

1.ง่าย

ตารางค่าความจริงที่สมบูรณ์ของ (¬a ↔ (b ∧ c)) → ((c ∧ b) ↔ a) มีกี่แถว N

(¬a ↔ (b ∧ c)) → ((c ∧ b) ↔ a)
N =
2.ง่าย
abca ∨ ¬(¬c ∧ ¬b)111?110?101?100?011?010?001?000?

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

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

คุณต้องการพิสูจน์ ¬r → (q ∨ p) ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

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

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

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

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

p → qp
  1. 1p ∧ ¬q
  2. 2q
  3. 3¬p
  4. 4¬q
6.ยาก
r ∧ ¬q¬rq¬q

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

r → qr
  1. 1r ∧ ¬q
  2. 2¬r
  3. 3q
  4. 4¬q

เฉลย

  1. 1. N = 8
  2. 2. N = 7
  3. 3. ¬(q ∨ p) → ¬¬r
  4. 4. N = 6
  5. 5. q
  6. 6. q

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