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

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

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

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

คุณต้องการพิสูจน์ ¬q → ¬p ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

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

การอ้างเหตุผลที่มีสมมติฐาน c → a; b → a และบทสรุป 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

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

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