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ì (a ∨ b) ∧ ¬a đúng?

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

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

1. 1b ∧ a
2. 2(b → a) ∧ (a → b)
3. 3(b → a) ∧ (¬a → ¬b)
4. 4(b → a) ∨ (a → b)

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

1. 1(q ∧ p) ∨ (q ∧ r)
2. 2(q ∨ p) ∧ r
3. 3q ∧ (p ∨ r)
4. 4(q ∨ p) ∧ (q ∨ r)

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

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

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)