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

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

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

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

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

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. 1r → (p ∧ q)
2. 2¬r → ¬(p ∧ q)
3. 3¬(p ∧ q) → ¬r
4. 4(p ∧ q) ∧ ¬r

Suy luận với các tiền đề r ∨ p; r và kết luận ¬p 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. 1p = 1, r = 1
2. 2p = 1, r = 0
3. 3p = 0, r = 1
4. 4p = 0, r = 0

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