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

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

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

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

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

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

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

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

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

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

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