Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về 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 chi tiết nội dung bài giảng! | BÀI 1 CÁC KIẾN THỨC CƠ SỞ Vũ Thương Huyền huyenvt@ 1 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 huyenvt@ 2 LOGIC Toán rời rạc huyenvt@ 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 huyenvt@ 4 LOGIC MỆNH ĐỀ Là logic đơn giản nhất Mệnh đề Mệnh đề là một câu đúng hoặc sai - Kí hiệu các mệnh đề p q r s. - Giá trị chân lí của mệnh đề T F 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 huyenvt@ 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 huyenvt@ 6 PHỦ ĐỊNH Định nghĩa Giả sử là một mệnh đề. Câu Không phải là là một mệnh đề gọi là phủ định của . - Kí hiệu hoặc Bảng chân lí Ví dụ - 10 không là số nguyên tố - 5 2 8 T F F T Toán rời rạc huyenvt@ 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 huyenvt@ 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 huyenvt@ 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 huyenvt@ 10 TUYỂN LOẠI Định nghĩa Giả sử và là hai mệnh đề. Mệnh đề tuyển loại của và được kí hiệu là một mệnh đề chỉ đúng khi một trong hai
