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