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

ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ (a ↔ b) → ¬(a → ¬b) เป็นเท็จ ให้คลิกแถวนั้น

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

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

1. 1(p ∨ r) ∧ (p ∨ q)
2. 2(p ∧ r) ∨ (p ∧ q)
3. 3p ∨ (r ∧ q)
4. 4(p ∧ r) ∨ q

คุณต้องการพิสูจน์ p → ¬q ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

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

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

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

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