1.Dễ
Hãy hoàn thành bảng chân trị (1 = đúng, 0 = sai). Trong bao nhiêu hàng N thì ¬(p → q) → (¬q ∧ ¬p) đúng?
¬(p → q) → (¬q ∧ ¬p)
N =
Phiếu bài tập Logic mệnh đề & chứng minh có đáp án
2.Dễ
Hãy hoàn thành bảng chân trị (1 = đúng, 0 = sai). Trong bao nhiêu hàng N thì ¬(¬c ∨ ¬(c → ¬b)) ∨ (a → b) đúng?
¬(¬c ∨ ¬(c → ¬b)) ∨ (a → b)
N =
3.Trung bình
Công thức nào tương đương logic với q ∨ (p ∧ r)? Hãy nhấp vào nó.
q ∨ (p ∧ r)
- 1(q ∨ p) ∧ (q ∨ r)
- 2(q ∧ p) ∨ (q ∧ r)
- 3q ∧ (p ∨ r)
- 4(q ∨ p) ∧ r
4.Trung bình
Công thức nào tương đương logic với (p ∧ q) → r? Hãy nhấp vào nó.
(p ∧ q) → r
- 1(p → q) → r
- 2p → (q → r)
- 3p ∧ (q → r)
- 4(p → r) ∧ (q → r)
5.Khó
Phát biểu nào tương đương với ¬∀x (P(x) → ∃y R(x, y)), khi phép phủ định đã được đưa hoàn toàn vào trong? Hãy nhấp vào nó.
¬∀x (P(x) → ∃y R(x, y))
- 1∃x (P(x) → ∀y ¬R(x, y))
- 2∀x (P(x) ∧ ∀y ¬R(x, y))
- 3∃x (¬P(x) ∧ ∃y R(x, y))
- 4∃x (P(x) ∧ ∀y ¬R(x, y))
6.Khó
Phát biểu nào tương đương với ¬∀x (F(x) → ∃y R(x, y)), khi phép phủ định đã được đưa hoàn toàn vào trong? Hãy nhấp vào nó.
¬∀x (F(x) → ∃y R(x, y))
- 1∃x (F(x) ∧ ∀y ¬R(x, y))
- 2∃x (F(x) → ∀y ¬R(x, y))
- 3∀x (F(x) ∧ ∀y ¬R(x, y))
- 4∃x (¬F(x) ∧ ∃y R(x, y))
Đáp án
- 1. N = 3
- 2. N = 7
- 3. (q ∨ p) ∧ (q ∨ r)
- 4. p → (q → r)
- 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
- 6. ∃x (F(x) ∧ ∀y ¬R(x, y))
Lời giải đầy đủ từng bước: hãy luyện chủ đề này trên examproblems.com.