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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

1. 1(q → r) ∧ (p → r)
2. 2(q → p) → r
3. 3q → (p → r)
4. 4q ∧ (p → r)

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

1. 1ซ้ำซ้อน (tautology)
2. 2ขัดแย้ง (contradiction)
3. 3contingency

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

1. 1¬c → ¬b
2. 2c ∧ b
3. 3b → c
4. 4c → b

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

1. 1q → p
2. 2¬q → ¬p
3. 3p → q
4. 4q ∧ p