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

ตารางค่าความจริงที่สมบูรณ์ของ ¬(b ∧ c) ∨ ¬((c ∨ b) → a) มีกี่แถว N

ตารางค่าความจริงที่สมบูรณ์ของ ¬(((¬a ∨ ¬b) ↔ c) ∨ (¬c ∨ ¬b)) มีกี่แถว N

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

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

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

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

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

1. 1∃x ∃y (R(x, y) ∧ ¬R(y, x))
2. 2∀x ∀y (R(x, y) ∧ ¬R(y, x))
3. 3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
4. 4∃x ∃y (R(x, y) → ¬R(y, x))

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

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