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

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

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

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

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

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

ประโยคใดสมมูลกับ ¬∀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 (P(x) → Q(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

1. 1∃x (P(x) ∧ ¬Q(x))
2. 2∀x (P(x) ∧ ¬Q(x))
3. 3∀x (P(x) → ¬Q(x))
4. 4∀x (¬P(x) → ¬Q(x))