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

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

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

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

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

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

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

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

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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

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