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

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

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

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

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

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

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

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

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