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

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

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

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

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

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

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

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ (c ∧ a) → ((a ∨ d) ↔ (d ∧ ¬b)) เป็นจริง เรียกจำนวนนี้ว่า N

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

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