tailieunhanh - Bài giảng Toán rời rạc: Chương 1 - Nguyễn Quỳnh Diệp

Bài giảng Toán rời rạc: Chương 1 cung cấp cho người học những kiến thức như: 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. Mời các bạn cùng tham khảo! | CHƯƠNG 1 ĐẠI SỐ LOGIC Nguyễn Quỳnh Diệp diepnq@ File Bài giảng Y3cpLF hoặc TYxXQD 1 Nguyễn Quỳnh Diệp 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 Nguyễn Quỳnh Diệp 2 . LOGIC Toán rời rạc Nguyễn Quỳnh Diệp 3 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ừ Ứng dụng 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 Toán rời rạc Nguyễn Quỳnh Diệp 4 LOGIC MỆNH ĐỀ Là logic đơn giản nhất Mệnh đề Mệnh đề là một câu đúng hoặc sai - Giá trị chân lí của mệnh đề T F - Kí hiệu các mệnh đề p q r s. 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 Toán rời rạc Nguyễn Quỳnh Diệp 5 MỆNH ĐỀ PHỨC HỢP Được tạo ra từ các mệnh đề bằng cách sử dụng các toán tử logic Toán tử logic - Phủ định - Hội - Tuyển - Tuyển loại - Mệnh đề kéo theo - Mệnh đề hai điều kiện Toán rời rạc Nguyễn Quỳnh Diệp 6 PHỦ ĐỊNH Định nghĩa Giả sử là một mệnh đề. Phủ định của là một mệnh đề đúng khi p sai sai khi p đúng. - Kí hiệu hoặc Bảng chân lí Ví dụ - 10 không là số nguyên tố T F F T Toán rời rạc Nguyễn Quỳnh Diệp 7 HỘI Định nghĩa Giả sử và là hai mệnh đề. Mệnh đề à là một mệnh đề đúng khi cả hai đều đúng sai trong các trường hợp còn lại. Mệnh đề gọi là hội của và . - Kí hiệu Ví dụ - 2 là số nguyên tố và 2 là số chẵn - 4 là số nguyên tố và 4 là số chẵn Toán rời rạc Nguyễn Quỳnh Diệp 8 TUYỂN Định nghĩa Giả sử và là hai mệnh đề. Mệnh đề hoặc là một mệnh đề sai khi cả hai đều sai đúng trong các trường hợp còn lại. Mệnh đề gọi là tuyển của và . - Kí hiệu Ví dụ - Hôm nay trời mưa hoặc lớp học được nghỉ - 4 là số nguyên tố hoặc 4 là số chẵn Toán rời rạc Nguyễn Quỳnh Diệp 9 HỘI TUYỂN Bảng giá trị chân lí T T T T T F F T F T F T F F F F Toán rời rạc Nguyễn Quỳnh Diệp 10 TUYỂN LOẠI Định nghĩa Giả sử và là hai mệnh đề. Mệnh đề tuyển loại của và kí .