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

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

Đúng một hàng của bảng chân trị làm ¬(p ∨ (¬q → p)) đú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

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

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

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

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

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