ĐẠI SỐ LOGIC
Nguyễn Quỳnh Diệp
diepnq@tlu.edu.vn
1
CHƯƠNG 1
Nguyễn Quỳnh Diệp
File Bài giảng: goo.gl/Y3cpLF hoặc goo.gl/TYxXQD
NỘI DUNG
•Logic
•Sự tương đương các mệnh đề
•Vị từ và lượng từ
•Các phép suy diễn
•Chuẩn tắc hội, chuẩn tắc tuyển
•Các phương pháp chứng minh
Toán rời rạc 2
Nguyễn Quỳnh Diệp
Toán rời rạc 3
1.1. LOGIC
Nguyễn Quỳnh Diệp
LOGIC
•Là kiến thức cơ sở cho lập luận toán học
•Bao gồm: logic mệnh đề và logic vị từ
Toán rời rạc 4
Thiết kế máy tính
Đặc tả hệ thống
Trí tuệ nhân tạo
Lập trình máy tính
Ngôn ngữ lập trình
Các lĩnh vực khác của khoa học máy tính
•Ứng dụng:
Nguyễn Quỳnh Diệp
LOGIC MỆNH ĐỀ
•Là logic đơn giản nhất
Toán rời rạc 5
Mệnh đề là một câu đúng hoặc sai
•Mệnh đề:
•Ví dụ: -Hà Nội là thủ đô của nước Việt Nam
- 7 là một số chẵn
-Bạn ăn cơm chưa?
- Giá trị chân lí của mệnh đề:T, F
-Kí hiệu các mệnh đề:p, q, r, s....
Nguyễn Quỳnh Diệp