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

Bảng chân trị đầy đủ của ¬((c ∧ b) → (a → c)) đã được viết ra. Trong bao nhiêu hàng N thì a = 1 và c = 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 ∧ b)) đúng?

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

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

Cho các tiền đề q → p; p → r; ¬r. Kết luận nào suy ra từ chúng? Hãy nhấp vào nó.

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

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