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

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

Hãy hoàn thành bảng chân trị (1 = đúng, 0 = sai). Trong bao nhiêu hàng N thì ¬(a ↔ ¬b) → a đúng?

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

1. 1a ∧ (b ∨ c)
2. 2(a ∧ b) ∨ (a ∧ c)
3. 3(a ∨ b) ∧ (a ∨ c)
4. 4(a ∨ b) ∧ c

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

Cho các tiền đề p → r; r → q; ¬q. Kết luận nào suy ra từ chúng? Hãy nhấp vào nó.

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

Suy luận với các tiền đề c → (b ∨ a); c và kết luận b 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