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

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

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

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

คุณต้องการพิสูจน์ (b ∧ c) → a ด้วยข้อขัดแย้ง ควรสมมติประโยคใดตอนเริ่มต้น ให้คลิกประโยคนั้น

1. 1¬(b ∧ c) ∧ ¬a
2. 2(b ∧ c) ∧ ¬a
3. 3¬(b ∧ c) → ¬a
4. 4¬(b ∧ c) ∧ a

ประโยคใดสมมูลกับ ¬∃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))

ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ (b ∨ d) ∨ ((a → c) ∨ c) เป็นจริง เรียกจำนวนนี้ว่า N