Phiếu bài tập Logic mệnh đề & chứng minh có đáp án

Đúng một hàng của bảng chân trị làm (q → p) ∧ q đúng. Hãy nhấp vào hàng đó.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Hãy hoàn thành bảng chân trị (1 = đúng, 0 = sai). Trong bao nhiêu hàng N thì (b → a) ∨ ¬(¬a ↔ b) đúng?

Công thức nào tương đương logic với q → r? Hãy nhấp vào nó.

1. 1¬q ∨ r
2. 2¬q ∧ r
3. 3r → q
4. 4¬q → ¬r

Công thức nào tương đương logic với p ∧ (q ∨ r)? Hãy nhấp vào nó.

1. 1(p ∧ q) ∨ r
2. 2p ∨ (q ∧ r)
3. 3(p ∧ q) ∨ (p ∧ r)
4. 4(p ∨ q) ∧ (p ∨ r)

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ó.

1. 1∀x (P(x) ∧ ∀y ¬R(x, y))
2. 2∃x (P(x) ∧ ∀y ¬R(x, y))
3. 3∃x (P(x) → ∀y ¬R(x, y))
4. 4∃x (¬P(x) ∧ ∃y R(x, y))

Có bao nhiêu hàng trong 16 hàng của bảng chân trị làm (¬(¬p → s) ↔ r) → (q → p) đúng? Gọi số này là N.