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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ 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 ที่ ¬p → (¬q ∨ r) เป็นจริง

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

1. 1¬a ∨ ¬b
2. 2a ∧ ¬b
3. 3¬a → ¬b
4. 4¬a ∧ b

คุณต้องการพิสูจน์ ¬r → p ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

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

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

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

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

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