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

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

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

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

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

1. 1c ∧ (b → a)
2. 2(c → a) ∧ (b → a)
3. 3(c → b) → a
4. 4c → (b → a)

คุณต้องการพิสูจน์ b → (c ∧ a) ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

1. 1¬(c ∧ a) → ¬b
2. 2¬b → ¬(c ∧ a)
3. 3b ∧ ¬(c ∧ a)
4. 4(c ∧ a) → b

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

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

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