TAILIEUCHUNG - Bài giảng Toán rời rạc: Chương 1 - ThS. Trần Quang Khải

Bài giảng Toán rời rạc: Chương 1 Logic, cung cấp cho người học những kiến thức như: Propositional Logic; Predicate Logic. Mời các bạn cùng tham khảo! | TOÁN RỜI RẠC Chương 01 Logic Giảng viên ThS. Trần Quang Khải Nội dung 1. Propositional Logic. 2. Predicate Logic. Toán rời rạc Chương 1 Logic 2 What is LOGIC Logic is the study of arguments. Toán rời rạc Chương 1 Logic 3 What is LOGIC Logic is the study of arguments. In philosophy Logic from the Greek is the formal systematic study sự nghiên cứu có tính hệ thống of the principles quy tắc of valid inference and correct reasoning lập luận có căn cứ và suy luận đúng . Toán rời rạc Chương 1 Logic 4 What is LOGIC Trong toán học các quy luật Logic giúp xác định ý nghĩa chính xác của các phát biểu toán học. Logic toán học là một nhánh của toán học có quan hệ chặt chẽ với khoa học máy tính và logic triết học. Phân biệt các suy luận đúng valid và không đúng invalid Toán rời rạc Chương 1 Logic 5 TOPIC 1 PROPOSITIONAL LOGIC Logic mệnh đề Giảng viên ThS. Trần Quang Khải Toán rời rạc Chương 1 Logic 6 Propositions Mệnh đề Proposition là 1 câu hoặc 1 phát biểu tường thuật chỉ có giá trị đúng hoặc sai Mệnh đề không thể vừa đúng vừa sai Giá trị đúng hoặc sai của mệnh đề chân trị. TRUTH VALUE Toán rời rạc Chương 1 Logic 7 Propositions - Examples 1. Pigs can fly. 2. 1 1 2. 3. 2 2 3. 4. Your teacher is Superman. 5. Hanoi is the capital of Vietnam. 6. Paris is the capital of London. Toán rời rạc Chương 1 Logic 8 Sentences not to be propositions 1. What time is it 2. Do your homework. 3. x 1 3. 4. x y z. 5. What a pretty girl Toán rời rạc Chương 1 Logic 9 Biểu diễn mệnh đề Biểu diễn 1 mệnh đề bằng 1 kí tự letter . VD p q r s t Gọi là biến mệnh đề propositional variables or statement variables . Phủ định một mệnh đề ký hiệu p Quy ước Truth table TRUE T or 1. FALSE F or 0. p p p p T F 1 0 F T 0 1 Toán rời rạc Chương 1 Logic 10 Xác định chân trị Xác định 1 mệnh đề là true false không phải là nhiệm vụ của Logic Ex Today is Friday. true or false depends on what is today. Toán rời rạc Chương 1 Logic 11 Negation phủ định Phủ định của một mệnh đề Today is Friday. It is not the case that today

• Toán học
• Bài giảng Toán rời rạc
• Toán rời rạc
• Logic toán học
• Logic mệnh đề
• Toán tử Logic
• Mệnh đề tương đương
• Giáo trình toán rời rạc
• Tài liệu toán rời rạc
• Học toán rời rạc
• Lý thuyết về toán rời rạc
• Câu hỏi Toán rời rạc
• Bài tập Toán rời rạc
• Hệ thức truy hồi
• Quan hệ chia để trị Toán rời rạc
• Nguyên lý toán rời rạc
• Cấu hình tổ hợp
• Cấu hình toán rời rạc
• Bài giảng môn học Toán học rời rạc
• Toán học rời rạc
• Môn Toán học rời rạc
• Tập hợp và logic mệnh đề
• lý thuyết toán rời rạc
• đề cương Toán rời rạc