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

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

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

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

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

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

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

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

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

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

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

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