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

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

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

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

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

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

ประโยคใดสมมูลกับ ¬∀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 (P(x) ∧ Q(x)) เมื่อย้ายนิเสธเข้าด้านในสุด ให้คลิกประโยคนั้น

1. 1∀x (¬P(x) ∧ ¬Q(x))
2. 2∃x (P(x) → ¬Q(x))
3. 3∀x (P(x) ∧ ¬Q(x))
4. 4∀x (P(x) → ¬Q(x))