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

ตารางค่าความจริงที่สมบูรณ์ของ ¬((p → (r → q)) ∧ ¬(¬r ↔ ¬p)) เขียนไว้ครบแล้ว มีกี่แถว N ที่ p = 1 และ r = 0

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

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

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

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

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

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

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