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

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

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

(r ∧ (r → p)) → p เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ

1. 1ซ้ำซ้อน (tautology)
2. 2ขัดแย้ง (contradiction)
3. 3contingency

สูตรใดสมมูลเชิงตรรกะกับ ¬(b ∨ c) ให้คลิกสูตรนั้น

1. 1¬b ∨ ¬c
2. 2¬b ∧ c
3. 3b ∨ ¬c
4. 4¬b ∧ ¬c

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

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

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

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