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ì ¬(q → (p ∧ q)) đúng?

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) đúng?

Bạn muốn chứng minh ¬a → (b ∧ c) 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(b ∧ c) → ¬a
2. 2¬a ∧ ¬(b ∧ c)
3. 3¬(b ∧ c) → ¬¬a
4. 4¬¬a → ¬(b ∧ c)

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

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

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

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))