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

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

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

Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì ¬((c ∧ b) ↔ (a ↔ ¬c)) đúng? Gọi số này là 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

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

Suy luận với các tiền đề b → (c ∨ a); b và kết luận c 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. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0