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

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

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

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

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

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

1. 1(r → q) ∧ (q → r)
2. 2(r → q) ∨ (q → r)
3. 3r ∧ q
4. 4(r → q) ∧ (¬q → ¬r)

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

1. 1∀x (¬A(x) → ¬B(x))
2. 2∀x (A(x) ∧ ¬B(x))
3. 3∀x (A(x) → ¬B(x))
4. 4∃x (A(x) ∧ ¬B(x))

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

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