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

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

Đú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

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

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

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

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

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