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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ ¬(a → (¬b ∧ a)) เป็นจริง ให้คลิกแถวนั้น

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

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

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

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

คุณต้องการพิสูจน์ c → (a ∨ b) ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

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

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

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

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ ((q ∧ s) ∨ q) ∧ ((r ∧ p) → s) เป็นจริง เรียกจำนวนนี้ว่า N