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

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

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

สูตรใดสมมูลเชิงตรรกะกับ r ↔ p ให้คลิกสูตรนั้น

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

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

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

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

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

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

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