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

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

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

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

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

ในตารางค่าความจริง 8 แถวของ ((¬a ∨ c) ↔ c) ∧ (b ↔ (¬b ∧ a)) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า 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∃y ∀x ¬R(x, y)

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

1. 1¬c
2. 2c
3. 3a
4. 4c ∧ ¬a