1.Dễ
Bảng chân trị đầy đủ của ¬(p ∨ (p → q)) → (q ∨ r) có bao nhiêu hàng N?
¬(p ∨ (p → q)) → (q ∨ r)
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ì (p → ¬q) ↔ p đúng?
(p → ¬q) ↔ p
N =
3.Trung bình
Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì (c → b) ∨ ((a → b) ∧ (¬c ∧ a)) đúng? Gọi số này là N.
(c → b) ∨ ((a → b) ∧ (¬c ∧ a))
N =
4.Trung bình
Bạn muốn chứng minh ¬p → r bằng phản đảo. Bạn chứng minh phép kéo theo nào thay thế? Hãy nhấp vào nó.
¬p → r
- 1¬r → ¬¬p
- 2r → ¬p
- 3¬¬p → ¬r
- 4¬p ∧ ¬r
5.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))
6.Khó
Phát biểu nào tương đương với ¬∀x (A(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 (A(x) → ∃y R(x, y))
- 1∃x (A(x) → ∀y ¬R(x, y))
- 2∃x (¬A(x) ∧ ∃y R(x, y))
- 3∀x (A(x) ∧ ∀y ¬R(x, y))
- 4∃x (A(x) ∧ ∀y ¬R(x, y))
Đáp án
- 1. N = 8
- 2. N = 1
- 3. N = 6
- 4. ¬r → ¬¬p
- 5. ∃x (F(x) ∧ ∀y ¬R(x, y))
- 6. ∃x (A(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.