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

เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ (p → q) ∧ (q ∨ 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 แถวของ ¬(¬b ↔ (¬a ∧ c)) ↔ (b → (a ↔ ¬c)) มีกี่แถวที่เป็นจริง เรียกจำนวนนี้ว่า N

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

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

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

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

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

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