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

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

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

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

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

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

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

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

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

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