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

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

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

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

Bạn muốn chứng minh (c ∧ b) → a 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. 1a → (c ∧ b)
2. 2(c ∧ b) ∧ ¬a
3. 3¬a → ¬(c ∧ b)
4. 4¬(c ∧ b) → ¬a

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

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

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

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