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

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

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

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

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

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

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

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

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

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

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