Tài liệu được trích từ nhiều nguồn khác nhau trên Internet. Ngoài ra, thì một số kiến thức mang tính quan trọng được trích đoạn từ một số sách như sau:
1. Sách hướng dẫn Toán rời rạc – Nguyễn Duy Phương – Học viện Bưu chính – Viễn thông Hà Nội
2. Bảy phương pháp giải bài toán logic – Đặng Huy Ruận – Khoa Toán – Cơ học – Tin học – Trường Đại học Khoa học tự nhiên Hà Nội.
3. 80 Bài toán thông minh – Hàn Ngọc Đức (PDF) – Mạng Internet…
Cấu trúc tài liệuỞ phần cấu trúc tài liệu, chúng tôi muốn giới thiệu đến các bạn không chỉ phần tổng quan mà còn là chi tiết từng phần nhỏ. Từ đó, bạn đọc có thể định hình xem mình nên đọc phần nào trước và phần nào sau.
1. Một số khái niệm và công thức trong toán mệnh đềMệnh đề toán học là loại mệnh đề chỉ có thể cho giá trị Đúng hoặc Sai. Khác với các loại mệnh đề văn học, chẳng hạn: “Ôi Tổ quốc giang sơn hùng vĩ!” (câu cảm thán), “Thầy Mậu ơi!” (câu gọi), “Gọi gì đấy?” (câu hỏi),… Trong bài báo này ta gọi mệnh đề toán học đơn giản là mệnh đề và mã hóa giá trị Đúng là 1 và Sai là 0.
2. Các phép toán logic trong mệnh đềTrong tài liệu có đề cập đến lý thuyết các phép toán trong mệnh đề bao gồm:
3. Các tính chất trong mệnh đề logicTrong tài liệu có đề cập đến lý thuyết các tính chất của mệnh đề toán học như:
Tính giao hoán
Tính kết hợp
Tính phân phối
Phần tử trung hòa
Luật khử
Luật nuốt
Luật lũy đẳng
Phủ định kép
Luật De Morgan
Chuyển đổi phép xox
Chuyển đổi phép kéo theo
4. Các hệ quả được chứng minh quan trọng trong mệnh đề
Đại số Boole
Quy trình về ba phép toán cơ bản
Biểu thức tường minh
5. Bài tập logic mệnh đề có lời giảiBài 1: Trong một cuộc điều tra có 3 nhân chứng A, B và C cùng ngồi với nhau và nghe ý kiến của nhau. Cuối cùng ban điều tra hỏi lại từng người để tìm xem ai nói đúng. Kết quả là: A và B đối kháng nhau, B và C đối lập nhau và C thì bảo A và B đều nói sai. Vậy ban điều tra tin ai?
Bài 2: Có 2 làng A và B ở 2 bên đường. Dân làng A thi luôn nói thật, hỏi điều đúng thì gật đầu, sai thì lắc đầu. Dân làng B luôn nói dối, hỏi điều đúng thì lắc đầu, sai thì gật đầu. Một người khách lạ đến một trong hai làng đó, nhưng không biết mình đang ở làng nào, gặp một người dân, không biết dân làng nào, vì họ hay qua lại giữa hai làng. Người khách muốn hỏi chỉ một câu để người dân cứ gật đầu thì biết mình đang ở làng A, lắc thì biết mình đang ở làng B. Bạn hãy giúp người khách này với!
Vậy là VerbaLearn Math đã giới thiệu đến bạn một số bài tập logic mệnh đề có lời giải chi tiết. Tài liệu trên không nhằm mục đích cung cấp bài tập cho các bạn rèn luyện, tuy nhiên phần kiến thức được nhắc đến được coi là mở rộng và sâu hơn những gì bạn được học trong sách giáo khoa.
1. https://en.wikipedia.org/wiki/Mathematical_logic
2. https://www.geeksforgeeks.org/proposition-logic/
3. http://www.personal.psu.edu/t20/papers/philmath/
4. http://www.personal.psu.edu/t20/papers/philmath/