Bài giảng Toán rời rạc: Chương 3 Suy luận và Chứng minh, cung cấp cho người học những kiến thức như: Giới thiệu; Các quy tắc suy luận; Phương pháp chứng minh; Quy nạp toán học; Phát biểu đệ quy. Mời các bạn cùng tham khảo! | TOÁN RỜI RẠC Chương 3 Suy luận Chứng minh Giảng viên ThS. Trần Quang Khải Nội dung 1. Giới thiệu. 2. Các quy tắc suy luận 3. Phương pháp chứng minh. Quy nạp toán học. 4. Phát biểu đệ quy. 5. Bài tập Hỏi đáp. Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 2 Giới thiệu Hai vấn đề trong toán học 1. Khi nào một suy luận toán học là ĐÚNG 2. PHƢƠNG PHÁP nào để xây dựng các suy luận toán học Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 3 Giới thiệu Trong toán học Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 4 Giới thiệu - Trong tin học OK Dữ liệu 1 Program Kết quả 1 OK Dữ liệu 2 Program Kết quả 2 Dữ liệu n Program Kết quả n Hmmm Tầm bậy Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 5 Các khái niệm Định lý theorem a TRUE statement một phát biểu hoặc công thức được suy luận ra từ các tiên đề dựa vào các quy tắc suy luận sự chứng minh. Tiên đề Axiom còn gọi là định đề một mệnh đề không phụ thuộc vào sự chứng minh. giả thiết cơ sở của các cấu trúc toán học. Giả thiết Hypothesis Những mệnh đề phát biểu đúng được sử dụng để tranh luận hoặc nghiên cứu. Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 6 Chứng minh là gì Định lý đã Giả thiết Tiên đề của định lý được CM Quy tắc suy luận Định lý Quy tắc suy luận cơ chế rút ra kết luận từ những điều đã được khẳng định khác. Sự chứng minh có thể thực hiện bằng việc kết hợp các bước chứng minh. Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 7 Các quy tắc suy luận 1 Addition Luật cộng Simplification Luật rút gọn Modus ponens Luật tách rời Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 8 Các quy tắc suy luận 2 Modus tollens Hypothetical syslogism Tam đoạn luận giả định Disjunctive syslogism Tam đoạn luận tuyển Toán rời rạc 2011-2012 Chương 3 Suy luận - Chứng minh 9 Ví dụ 1. Kaka từng đoạt quả bóng vàng Thế Giới. Do đó Kaka từng đoạt quả bóng vàng Thế Giới hoặc giải học sinh giỏi toán rời rạc cấp phường. 2. Trời thì nóng nực và bạn đang quăng bom. Do đó bạn đang quăng bom. 3. Nếu bạn .
