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

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

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

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

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

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

1. 1¬q → ¬r
2. 2¬q ∨ r
3. 3q ∨ ¬r
4. 4r → q

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

1. 1∀x (¬F(x) ∧ ¬G(x))
2. 2∃x (¬F(x) ∧ ¬G(x))
3. 3∀x (F(x) → ¬G(x))
4. 4∀x (F(x) ∧ ¬G(x))

การอ้างเหตุผลที่มีสมมติฐาน p → (q ∨ r); p และบทสรุป q ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0