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

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

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

สูตรใดสมมูลเชิงตรรกะกับ ¬(c → b) ให้คลิกสูตรนั้น

1. 1¬c ∨ ¬b
2. 2¬c ∧ b
3. 3¬c → ¬b
4. 4c ∧ ¬b

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

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

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

1. 1∃x (¬A(x) ∨ ¬B(x))
2. 2∃x (¬A(x) ∧ ¬B(x))
3. 3∀x (¬A(x) ∧ ¬B(x))
4. 4∀x (¬A(x) ∨ ¬B(x))

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

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