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

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

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

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

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

ในตารางค่าความจริง 8 แถวของ ¬((¬p → q) ∧ ((q ∨ ¬p) ∧ r)) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

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

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

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