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

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

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

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

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

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

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

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

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

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

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