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

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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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) ∨ (p ∧ r)
2. 2p ∧ (q ∨ r)
3. 3(p ∨ q) ∧ (p ∨ r)
4. 4(p ∨ q) ∧ r

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

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

Phát biểu nào tương đương với ¬∃x (A(x) ∧ B(x)), khi phép phủ định đã được đưa hoàn toàn vào trong? Hãy nhấp vào nó.

1. 1∀x (A(x) → ¬B(x))
2. 2∀x (¬A(x) ∧ ¬B(x))
3. 3∃x (A(x) → ¬B(x))
4. 4∀x (A(x) ∧ ¬B(x))

Cho các tiền đề p → q; p. Kết luận nào suy ra từ chúng? Hãy nhấp vào nó.

1. 1¬q
2. 2q
3. 3p ∧ ¬q
4. 4¬p