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

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

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

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

คุณต้องการพิสูจน์ p → r ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

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

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

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

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

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

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

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