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.

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ễ
pq(q → p) ∨ (p ∧ q)11?10?01?00?

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

(q → p) ∨ (p ∧ q)
N =
2.Dễ
pqp → (¬p ∨ q)11100100

Đúng một hàng của bảng chân trị làm p → (¬p ∨ q) sai. 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
3.Trung bình
abc¬a ∨ b(¬a ∨ b) ∧ c((a → b) ∨ c) ↔ ((¬a ∨ b) ∧ c)111?110?101?100?011?010?001?000?

Trong bao nhiêu hàng trong 8 hàng của bảng chân trị thì ((a → b) ∨ c) ↔ ((¬a ∨ b) ∧ c) đúng? Gọi số này là N.

((a → b) ∨ c) ↔ ((¬a ∨ b) ∧ c)
N =
4.Trung bình
hằng đúngmâu thuẫncông thức ngẫu nhiên

((c → a) ∧ a) → c là hằng đúng, mâu thuẫn hay công thức ngẫu nhiên? Hãy nhấp vào đáp án của bạn.

((c → a) ∧ a) → c
  1. 1hằng đúng
  2. 2mâu thuẫn
  3. 3công thức ngẫu nhiên
5.Khó
∀x ¬P(x)∀x P(x)∃x ¬P(x)∃x P(x)

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ó.

¬∀x P(x)
  1. 1∀x ¬P(x)
  2. 2∀x P(x)
  3. 3∃x ¬P(x)
  4. 4∃x P(x)
6.Khó
pqrq → pr → pq → r111110101100011010001000

Suy luận với các tiền đề q → p; r → p và kết luận q → r là không hợp lệ. Hãy nhấp vào hàng của bảng chân trị là một phản ví dụ.

q → pr → p∴ q → r
  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

Đáp án

  1. 1. N = 3
  2. 2. p = 1, q = 0
  3. 3. N = 4
  4. 4. công thức ngẫu nhiên
  5. 5. ∃x ¬P(x)
  6. 6. p = 1, q = 1, r = 0

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