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

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

Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì ((p ∨ ¬q) ∨ r) ∨ (r ∧ q) đúng? Gọi số này là N.

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

1. 1a ∧ ¬c
2. 2¬a ∧ c
3. 3¬a → ¬c
4. 4a → ¬c

Suy luận với các tiền đề r ∨ p; r và kết luận ¬p là không hợp lệ. Hãy nhấp vào hàng của bảng chân trị là một phản ví dụ.

1. 1p = 1, r = 1
2. 2p = 1, r = 0
3. 3p = 0, r = 1
4. 4p = 0, r = 0

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