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 ↔ ¬c)) ∨ ((b ∨ ¬a) ∧ a) có bao nhiêu hàng N?

Đúng một hàng của bảng chân trị làm (b ∧ a) ↔ (¬a ↔ ¬b) sai. Hãy nhấp vào hàng đó.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

Bạn muốn chứng minh p → (q ∨ r) bằng phản đảo. Bạn chứng minh phép kéo theo nào thay thế? Hãy nhấp vào nó.

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

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

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

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