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

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) ↔ (q ∧ ¬p)) đúng?

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) ∨ ¬p đúng?

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

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

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

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 → a; a 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
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0