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

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

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

ในตารางค่าความจริง 8 แถวของ ¬(r ↔ (p → q)) → (q ∧ ¬r) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

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

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

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

1. 1a ∧ b
2. 2b
3. 3a
4. 4¬b

ประโยคใดสมมูลกับ ¬∀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))