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

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

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

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

ในตารางค่าความจริง 8 แถวของ ((a ∨ ¬c) → ¬b) ↔ (a → ¬c) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

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

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

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

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

การอ้างเหตุผลที่มีสมมติฐาน r ∨ q; r และบทสรุป ¬q ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

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