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

Đúng một hàng của bảng chân trị làm (q ∨ 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ảng chân trị đầy đủ của (b ∨ (c ↔ a)) ∨ (a ∨ c) đã được viết ra. Trong bao nhiêu hàng N thì a = 1 và c = 0?

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

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

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

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

1. 1a
2. 2c
3. 3¬a
4. 4c ∧ a

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