Logic toán học là một công cụ để làm việc với báo cáo hợp chất phức tạp. Nó bao gồm: Một ngôn ngữ để thể hiện chúng. Một ký hiệu viết ngắn gọn cho họ. Một phương pháp khách quan lý luận về sự thật hay giả mạo của họ. Nó là nền tảng cho thể hiện bằng chứng chính thức trong tất cả các chi nhánh của toán học. | Chương 1 Cơ Sở Logic VAX Tài liệu tham khảo I AjT Toán rời rạc Nguyễn Hữu Anh Michael s slides Nguyễn Minh Trung s slides ộ Toán rời rạc Ts. Trần Ngọc Hội http .