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

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

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

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

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

1. 1(q ∨ p) ∧ r
2. 2q ∧ (p ∨ r)
3. 3(q ∧ p) ∨ (q ∧ r)
4. 4(q ∨ p) ∧ (q ∨ r)

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

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

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

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

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