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

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

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

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

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. 2¬q ∨ ¬r
3. 3q ∨ ¬r
4. 4¬q ∧ r

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