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

Bảng chân trị đầy đủ của ¬(¬((¬b ∨ c) → (a ↔ b)) ∨ (a ∨ c)) có bao nhiêu hàng N?

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

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

1. 1(c → a) ∧ (b → a)
2. 2c → (b → a)
3. 3(c → b) → a
4. 4c ∧ (b → a)

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

1. 1(r → q) ∧ (q → r)
2. 2(r → q) ∨ (q → r)
3. 3r ∧ q
4. 4(r → q) ∧ (¬q → ¬r)

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

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)