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

ตารางค่าความจริงที่สมบูรณ์ของ (a ∧ ¬c) ∨ ((b → ¬a) ↔ ¬c) เขียนไว้ครบแล้ว มีกี่แถว N ที่ a = 1 และ b = 0

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

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

1. 1(c ∨ a) ∧ b
2. 2(c ∧ a) ∨ (c ∧ b)
3. 3(c ∨ a) ∧ (c ∨ b)
4. 4c ∧ (a ∨ b)

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

1. 1b ∧ (c → a)
2. 2(b → c) → a
3. 3(b → a) ∧ (c → a)
4. 4b → (c → a)

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

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

กำหนดสมมติฐาน r ∨ p; r → q; p → q บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

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