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

ตารางค่าความจริงที่สมบูรณ์ของ ¬((¬q ↔ r) → p) ∨ (q ↔ p) มีกี่แถว N

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

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

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

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

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

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

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

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