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 ¬(q ∨ ¬p) ∨ ((¬r ∨ p) ∧ (r ∧ ¬q)) đã được viết ra. Trong bao nhiêu hàng N thì q = 1 và r = 0?

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

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

Bạn muốn chứng minh a → b bằng phản chứng. Lúc bắt đầu bạn giả sử phát biểu nào? Hãy nhấp vào nó.

1. 1a ∧ ¬b
2. 2¬a ∧ ¬b
3. 3¬a → ¬b
4. 4¬a ∧ b

Có bao nhiêu hàng trong 16 hàng của bảng chân trị làm ((d → b) ∧ (c ↔ a)) → ¬(b ∧ ¬(d ∨ ¬a)) đúng? Gọi số này là N.

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