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

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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ (¬p → q) ↔ p เป็นเท็จ ให้คลิกแถวนั้น

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

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

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

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

การอ้างเหตุผลที่มีสมมติฐาน r → q; ¬r และบทสรุป ¬q ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

1. 1q = 1, r = 1
2. 2q = 1, r = 0
3. 3q = 0, r = 1
4. 4q = 0, r = 0

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

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