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ì p → (q ∧ p) đúng?

Đúng một hàng của bảng chân trị làm ((q ∨ ¬r) ↔ (q → p)) ∧ (p ∧ r) đúng. Hãy nhấp vào hàng đó.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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

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

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

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

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

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

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