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

Phiếu bài tập Logic mệnh đề & chứng minh miễn phí để in: 6 bài từ cơ bản đến mức đề thi, kèm đáp án. In ra hoặc lưu thành PDF.

Phiếu bài tập mớiLuyện tập trực tuyến có gợi ý

Dành cho giảng viên: miễn phí in, sao chép và sử dụng trên lớp. Mỗi phiếu bài tập mới có số liệu mới và đáp án riêng. Chúng tôi rất cảm ơn nếu bạn đặt liên kết đến ExamProblems trên trang môn học.

Tên: ____________________   Ngày: ____________

1.Dễ
pqp ∧ (p ↔ q)11100100

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

p ∧ (p ↔ q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Dễ
ab¬((b → a) ∧ ¬(¬a ∨ b))11100100

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

¬((b → a) ∧ ¬(¬a ∨ b))
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Trung bình
a → b¬a ∧ ¬b¬b → ¬a¬a → ¬b

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

b → a
  1. 1a → b
  2. 2¬a ∧ ¬b
  3. 3¬b → ¬a
  4. 4¬a → ¬b
4.Trung bình
(a → b) ∨ (c → b)(a → b) ∧ (c → b)(a ∧ c) → ba ∨ (c → b)

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

(a ∨ c) → b
  1. 1(a → b) ∨ (c → b)
  2. 2(a → b) ∧ (c → b)
  3. 3(a ∧ c) → b
  4. 4a ∨ (c → b)
5.Khó
rpp ∧ ¬r¬p

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

(q ∧ p) → rq¬r
  1. 1r
  2. 2p
  3. 3p ∧ ¬r
  4. 4¬p
6.Khó

Có bao nhiêu hàng trong 16 hàng của bảng chân trị làm (s ∨ (r ∨ p)) ∨ ((s ↔ q) ↔ p) đúng? Gọi số này là N.

(s ∨ (r ∨ p)) ∨ ((s ↔ q) ↔ p)
N =

Đáp án

  1. 1. p = 1, q = 1
  2. 2. a = 1, b = 0
  3. 3. ¬a → ¬b
  4. 4. (a → b) ∧ (c → b)
  5. 5. ¬p
  6. 6. N = 15

Lời giải đầy đủ từng bước: hãy luyện chủ đề này trên examproblems.com.