Bài giảng Toán rời rạc: Chương 1 - Nguyễn Viết Hưng, Trần Sơn Hải
lượt xem 16
download
Bài giảng Toán rời rạc: Chương 1 - Cơ sở Logic nêu lên mệnh đề và chân trị; phép tính mệnh đề; dạng mệnh đề; qui tắc suy diễn. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này, với các bạn chuyên ngành Toán học thì đây là tài liệu hữu ích.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Bài giảng Toán rời rạc: Chương 1 - Nguyễn Viết Hưng, Trần Sơn Hải
- Chương 1: Cơ Sở Logic Author: Nguyễn Viết Hưng Editor: Trần Sơn Hải 11/28/15 1 of 78
- Tài liệu tham khảo • Toán rời rạc, Gs.Ts Nguyễn Hữu Anh • Michael P.Frank ‘s slides • Nguyễn Viết Hưng ‘s slides • Toán rời rạc, Ts. Trần Ngọc Hội 11/28/15 2 of 78
- CƠ SỞ LOGIC Logic toán học là một công cụ để làm việc với những phát biểu tổng hợp phức tạp. Nó bao gồm : • Một ngôn ngữ để thể hiện. • Một ký hiệu ngắn gọn để viết. • Một phương pháp luận giải thích khách quan vì sao chúng đúng hay sai. • Nó là cơ sở để thể hiện có những chứng minh hình thức trong tất cả các ngành của toán học. 11/28/15 3 of 78
- Propositional Logic Propositional Logic is the logic of compound statements built from simpler statements using so-called Boolean connectives. Some applications in computer science: George Boole (18151864) • Design of digital electronic circuits. • Expressing conditions in programs. • Queries to databases & search engines. 11/28/15 Chrysippus of Soli 4 of 78 (ca. 281 B.C. – 205 B.C.)
- Mệnh đề và chân trị • Khái niệm về mệnh đề: – Mệnh đề toán học là khái niệm cơ bản của toán học không được định nghĩa mà chỉ được mô tả. • Mệnh đề toán học(gọi tắt là mệnh đề) là một khẳng định có giá trị chân lý xác định(đúng hoặc sai, nhưng không thể vừa đúng vừa sai). 11/28/15 5 of 78
- Mệnh đề và chân trị • Ví dụ: – “Số 123 chia hết cho 3” là 1 mệnh đề đúng – “Thành phố Hồ Chí Minh là thủ đô của nước Việt Nam” là một mệnh đề sai. – “Bạn có khỏe không ? ” không phải là một mệnh đề toán học vì đây là một câu hỏi không thể phản ánh một điều đúng hay một điều sai 11/28/15 6 of 78
- Mệnh đề và chân trị • Kiểm tra xem các khẳng định sau có là mệnh đề không? Nếu có, đó là mệnh đề đúng hay sai? – Môn Toán rời rạc là môn bắt buộc chung cho ngành tin học. – 97 là số nguyên tố. – N là số nguyên tố 11/28/15 7 of 78
- Mệnh đề và chân trị • Ký hiệu mệnh đề : – Người ta thường dùng các ký hiệu : P, Q, R, … • Chú ý: Mệnh đề phức hợp là mệnh đề được xây dựng từ các mệnh đề khác nhờ liên kết của chúng lại bằng các liên từ(và, hay, nếu…thì…) hoặc trạng từ “không” – Ví dụ : Nếu trời tốt thì tôi đi dạo. 11/28/15 8 of 78
- Mệnh đề và chân trị • Chân trị của mệnh đề: – Theo khái niệm, một mệnh đề chỉ có thể đúng hoặc sai, không thể đồng thời vừa đúng vừa sai. Khi mệnh đề p đúng ta nói P có chân trị đúng, ngược lại ta nói P có chân trị sai. – Chân trị đúng và chân trị sai sẽ được ký hiệu lần lượt là 1(hay Đ,T) và 0(hay S,F) 11/28/15 9 of 78
- Phép tính mệnh đề • Mục đích của phép tính mệnh đề: – Nghiên cứu chân trị của một mệnh đề phức hợp từ chân trị của các mệnh đề đơn giản hơn và các phép nối những mệnh đề này biểu hiện qua liên từ hoặc trạng từ “không” 11/28/15 10 of 78
- Some Popular Boolean Operators Formal Name Nicknam Arity Symbol e Negation operator NOT Unary ¬ Conjunction operator AND Binary Disjunction operator OR Binary Exclusive-OR XOR Binary operator Implication operator IMPLIES Binary Biconditional IFF Binary ↔ operator 11/28/15 11 of 78
- Phép tính mệnh đề 11/28/15 12 of 78
- Phép tính mệnh đề p p T F F T 11/28/15 13 of 78
- Phép tính mệnh đề • Phép nối liền(phép hội; phép giao): – Mệnh đề nối liền của hai mệnh đề P, Q được kí hiệu bởi P Q (đọc là “P và Q”), là mệnh đề được định bởi : – P Q đúng khi và chỉ khi P và Q đồng thời đúng 11/28/15 14 of 78
- Phép tính mệnh đề • Ví dụ: Mệnh đề “Hôm nay, cô ấy đẹp và thông minh ” chỉ được xem là mệnh đề đúng khi cả hai điều kiện “cô ấy đẹp” và “cô ấy thông minh” đều xảy ra. Ngược lại, chỉ 1 trong 2 điều kiện trên sai thì mệnh đề trên sẽ sai. 11/28/15 15 of 78
- Phép tính mệnh đề • Mệnh đề “Hôm nay, An giúp mẹ lau nhà và rửa chén” chỉ đúng khi hôm nay An giúp mẹ cả hai công việc lau nhà và rửa chén. Ngược lại, nếu hôm nay An chỉ giúp mẹ một trong hai công việc trên, hoặc không giúp mẹ cả hai thì mệnh đề trên sai. 11/28/15 16 of 78
- Phép tính mệnh đề 11/28/15 17 of 78
- Phép tính mệnh đề • Phép nối rời(phép tuyển; phép hợp) – Mệnh đề nối rời của hai mệnh đề P, Q được kí hiệu bởi P Q (đọc là “P hay Q”), là mệnh đề được định bởi : – P Q sai khi và chỉ khi P và Q đồng thời sai 11/28/15 18 of 78
- Phép tính mệnh đề • Ví dụ: Mệnh đề “Tôi đang chơi bóng đá hay bóng rổ”. – Mệnh đề này chỉ sai khi tôi vừa không đang chơi bóng đá cũng như vừa không đang chơi bóng rổ. – Ngược lại, tôi chơi bóng đá hay đang chơi bóng rổ hay đang chơi cả hai thì mệnh đề trên đúng. 11/28/15 19 of 78
- Phép tính mệnh đề 11/28/15 20 of 78
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Bài giảng Toán rời rạc - Chương 2: Quan hệ hai ngôi
21 p | 2675 | 171
-
Bài giảng Toán rời rạc - Chương 1: Quan hệ
37 p | 838 | 142
-
Bài giảng Toán rời rạc: Chương 5 - Nguyễn Đức Nghĩa
78 p | 325 | 60
-
Bài giảng Toán rời rạc - Chương 4: Bài toán tối ưu tổ hợp
93 p | 447 | 47
-
Bài giảng Toán rời rạc - Chương 5: Đại số Boole
12 p | 284 | 42
-
Bài giảng Toán rời rạc - Chương 4: Đồ thị
114 p | 213 | 36
-
Bài giảng Toán rời rạc - Chương 3: Lý thuyết tổ hợp
62 p | 412 | 34
-
Bài giảng Toán rời rạc: Chương 2 - Nguyễn Viết Hưng, Trần Sơn Hải
64 p | 210 | 19
-
Bài giảng Toán rời rạc: Chương 4 - Nguyễn Đức Nghĩa
60 p | 135 | 8
-
Bài giảng Toán rời rạc - Chương 1: Cơ sở logic (Phạm Thế Bảo)
99 p | 96 | 8
-
Bài giảng Toán rời rạc: Chương 6 - Nguyễn Đức Nghĩa
83 p | 136 | 7
-
Bài giảng Toán rời rạc - Chương 2: Phép đếm (Phạm Thế Bảo)
68 p | 41 | 6
-
Bài giảng Toán rời rạc: Chương 1.1 - Nguyễn Viết Hưng, Trần Sơn Hải
24 p | 125 | 5
-
Bài giảng Toán rời rạc: Chương 5 - Nguyễn Quỳnh Diệp
84 p | 45 | 4
-
Bài giảng Toán rời rạc: Chương 2 - ThS. Trần Quang Khải
27 p | 55 | 4
-
Bài giảng Toán rời rạc: Chương 2 - Nguyễn Quỳnh Diệp
44 p | 40 | 3
-
Bài giảng Toán rời rạc: Chương 4 - TS. Đặng Xuân Thọ
50 p | 47 | 2
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn