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 b ∨ (a ↔ b) sai. Hãy nhấp vào hàng đó.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

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

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

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

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)

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