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

ตารางค่าความจริงที่สมบูรณ์ของ ¬(¬b ↔ (a ∨ c)) → ((a ∧ c) ∨ b) มีกี่แถว N

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

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

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

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

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

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

ประโยคใดสมมูลกับ ¬∀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∃y ∀x ¬R(x, y)

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

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