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

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ ¬(a → ¬(a → b)) เป็นจริง

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ (¬q ∧ ¬r) ↔ p เป็นจริง

สูตรใดสมมูลเชิงตรรกะกับ ¬(b ∨ a) ให้คลิกสูตรนั้น

1. 1¬b ∧ a
2. 2¬b ∨ ¬a
3. 3b ∨ ¬a
4. 4¬b ∧ ¬a

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

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

ประโยคใดสมมูลกับ ¬∃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) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

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)