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

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

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

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

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

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

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

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

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

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

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