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

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

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

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

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

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

ประโยคใดสมมูลกับ ¬∃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; ¬p และบทสรุป ¬q ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน

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