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?

Bảng chân trị đầy đủ của ((r → p) → q) ↔ ((q ∧ r) ∧ p) có bao nhiêu hàng N?

Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì (¬r ∧ q) ↔ ((¬p ∨ r) ∨ (¬q ∨ p)) đúng? Gọi số này là N.

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

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