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

Đúng một hàng của bảng chân trị làm (¬p ∧ ¬q) ∨ (¬q ∨ ¬p) 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

(p ∨ r) ∧ (¬p ∧ ¬r) là hằng đúng, mâu thuẫn hay công thức ngẫu nhiên? Hãy nhấp vào đáp án của bạn.

1. 1hằng đúng
2. 2mâu thuẫn
3. 3công thức ngẫu nhiên

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

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∃y ∀x ¬R(x, y)
3. 3∀x ∃y ¬R(x, y)
4. 4∃x ∀y ¬R(x, y)

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