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

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

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

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

1. 1(r → q) ∨ (q → r)
2. 2r ∧ q
3. 3(r → q) ∧ (q → r)
4. 4(r → q) ∧ (¬q → ¬r)

(b → c) ↔ (¬c → ¬b) là hằng đúng, mâu thuẫn hay công thức ngẫu nhiên? Hãy nhấp vào đáp án của bạn.

1. 1hằng đúng
2. 2mâu thuẫn
3. 3công thức ngẫu nhiên

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

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