1.ง่าย
เติมตารางค่าความจริงให้สมบูรณ์ (1 = จริง, 0 = เท็จ) มีกี่แถว N ที่ ¬(¬p → q) ∧ (¬q ∨ p) เป็นจริง
¬(¬p → q) ∧ (¬q ∨ p)
N =
ใบงาน ตรรกศาสตร์ประพจน์และการพิสูจน์ พร้อมเฉลย
2.ง่าย
ตารางค่าความจริงมีแถวเดียวพอดีที่ทำให้ (¬q ∨ p) ↔ q เป็นจริง ให้คลิกแถวนั้น
(¬q ∨ p) ↔ q
- 1p = 1, q = 1
- 2p = 1, q = 0
- 3p = 0, q = 1
- 4p = 0, q = 0
3.ปานกลาง
(b → a) ∨ (a → b) เป็น tautology, contradiction หรือ contingency ให้คลิกคำตอบของคุณ
(b → a) ∨ (a → b)
- 1ซ้ำซ้อน (tautology)
- 2ขัดแย้ง (contradiction)
- 3contingency
4.ปานกลาง
สูตรใดสมมูลเชิงตรรกะกับ ¬(p → r) ให้คลิกสูตรนั้น
¬(p → r)
- 1p ∧ ¬r
- 2¬p → ¬r
- 3¬p ∧ r
- 4p → ¬r
5.ยาก
การอ้างเหตุผลที่มีสมมติฐาน q → r; r และบทสรุป q ไม่สมเหตุสมผล ให้คลิกแถวของตารางค่าความจริงที่เป็นตัวอย่างค้าน
q → rr∴ q
- 1q = 1, r = 1
- 2q = 1, r = 0
- 3q = 0, r = 1
- 4q = 0, r = 0
6.ยาก
ตารางค่าความจริง 16 แถวมีกี่แถวที่ทำให้ (¬c ∨ (c ∧ a)) ∧ ¬((a ∨ ¬d) ∧ (¬d ↔ b)) เป็นจริง เรียกจำนวนนี้ว่า N
(¬c ∨ (c ∧ a)) ∧ ¬((a ∨ ¬d) ∧ (¬d ↔ b))
N =
เฉลย
- 1. N = 1
- 2. p = 1, q = 1
- 3. ซ้ำซ้อน (tautology)
- 4. p ∧ ¬r
- 5. q = 0, r = 1
- 6. N = 7
เฉลยทีละขั้นตอนฉบับเต็ม: ฝึกหัวข้อนี้ได้ที่ examproblems.com