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

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

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

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

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

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

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

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

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

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

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