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

Bảng chân trị đầy đủ của (p ∧ r) ∨ ((p ∧ ¬q) ∨ q) đã được viết ra. Trong bao nhiêu hàng N thì q = 1 và r = 0?

Bảng chân trị đầy đủ của (c ∨ ¬b) → (¬a ∧ b) có bao nhiêu hàng N?

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

1. 1b ∧ (a ∨ c)
2. 2(b ∨ a) ∧ c
3. 3(b ∨ a) ∧ (b ∨ c)
4. 4(b ∧ a) ∨ (b ∧ c)

Bạn muốn chứng minh (q ∨ 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ó.

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

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

1. 1∃x (¬P(x) ∨ ¬Q(x))
2. 2∃x (¬P(x) ∧ ¬Q(x))
3. 3∀x (¬P(x) ∨ ¬Q(x))
4. 4∀x (¬P(x) ∧ ¬Q(x))

Phát biểu nào tương đương với ¬∀x ∀y (R(x, y) → R(y, 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 ∃y (R(x, y) ∧ ¬R(y, x))
2. 2∃x ∃y (R(x, y) → ¬R(y, x))
3. 3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
4. 4∀x ∀y (R(x, y) ∧ ¬R(y, x))