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

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

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

ตารางค่าความจริงที่สมบูรณ์ของ (¬(¬p ∨ q) ∨ p) → ((r ∧ q) ∨ r) เขียนไว้ครบแล้ว มีกี่แถว N ที่ p = 1 และ r = 0

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

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

คุณต้องการพิสูจน์ c → ¬b ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

1. 1¬c → ¬¬b
2. 2¬b → c
3. 3¬¬b → ¬c
4. 4c ∧ ¬¬b

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

1. 1∀x ∀y ¬R(x, y)
2. 2∃x ∀y ¬R(x, y)
3. 3∀x ∃y ¬R(x, y)
4. 4∃x ∃y ¬R(x, y)

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

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0