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
