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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ p ∨ q เป็นเท็จ ให้คลิกแถวนั้น

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

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

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

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

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

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

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

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

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