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

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

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

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

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

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

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

1. 1¬r ∨ ¬p
2. 2¬r ∧ p
3. 3¬r ∧ ¬p
4. 4¬r ∨ p

กำหนดสมมติฐาน p → r; ¬r บทสรุปใดตามมาจากสมมติฐานเหล่านี้ ให้คลิกบทสรุปนั้น

1. 1¬p ∧ r
2. 2r
3. 3p
4. 4¬p

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

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