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

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

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

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

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

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

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

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

1. 1¬(p ∧ r) ∧ ¬q
2. 2¬(p ∧ r) → ¬q
3. 3¬(p ∧ r) ∧ q
4. 4(p ∧ r) ∧ ¬q

ประโยคใดสมมูลกับ ¬∃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))

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

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