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

ตารางค่าความจริงที่สมบูรณ์ของ ((p ∧ q) ∧ (p → r)) → (q ↔ r) มีกี่แถว N

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

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

สูตรใดสมมูลเชิงตรรกะกับ r → p ให้คลิกสูตรนั้น

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

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

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

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

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