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

ตารางค่าความจริงที่สมบูรณ์ของ ¬(c → (c ∨ ¬a)) → (b ↔ ¬a) มีกี่แถว N

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

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

1. 1(p → r) ∧ (q → r)
2. 2(p → q) → r
3. 3p → (q → r)
4. 4p ∧ (q → r)

คุณต้องการพิสูจน์ q → (r ∧ p) ด้วยการแย้งสลับที่ ควรพิสูจน์นัยใดแทน ให้คลิกนัยนั้น

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

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

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

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