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

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

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

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

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

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

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

กำหนดสมมติฐาน c → a; a → b บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

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

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

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