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

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

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

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

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

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

1. 1(b ∨ a) ∧ c
2. 2b ∧ (a ∨ c)
3. 3(b ∨ a) ∧ (b ∨ c)
4. 4(b ∧ a) ∨ (b ∧ c)

ประโยคใดสมมูลกับ ¬∃x (F(x) → G(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

1. 1∀x (¬F(x) → ¬G(x))
2. 2∃x (F(x) ∧ ¬G(x))
3. 3∀x (F(x) → ¬G(x))
4. 4∀x (F(x) ∧ ¬G(x))

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

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