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

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

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

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

คุณต้องการพิสูจน์ b → (a ∧ c) ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

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

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

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

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

1. 1∀x (F(x) ∧ ∀y ¬R(x, y))
2. 2∃x (¬F(x) ∧ ∃y R(x, y))
3. 3∃x (F(x) ∧ ∀y ¬R(x, y))
4. 4∃x (F(x) → ∀y ¬R(x, y))

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

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