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

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

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

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

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

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

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

การอ้างเหตุผลที่มีสมมติฐาน 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

ประโยคใดสมมูลกับ ¬∃x A(x) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

1. 1∀x ¬A(x)
2. 2∀x A(x)
3. 3∃x A(x)
4. 4∃x ¬A(x)