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

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

ตารางค่าความจริงที่สมบูรณ์ของ ¬(¬(q ∨ r) ∨ (¬(p → r) ∨ (p ∨ q))) เขียนไว้ครบแล้ว มีกี่แถว N ที่ p = 1 และ q = 0

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

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

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

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

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

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