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

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

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

Bạn muốn chứng minh ¬b → (c ∧ a) bằng phản chứng. Lúc bắt đầu bạn giả sử phát biểu nào? Hãy nhấp vào nó.

1. 1¬¬b ∧ (c ∧ a)
2. 2¬¬b ∧ ¬(c ∧ a)
3. 3¬¬b → ¬(c ∧ a)
4. 4¬b ∧ ¬(c ∧ a)

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

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

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∃y ∀x ¬R(x, y)
4. 4∃x ∀y ¬R(x, y)