Chapter 1A - Propositional logic. Bài giảng bao gồm các bài tập liên quan đến các nội dung như: What is Logic, Propositional Logic, Inference in Propositional Logic. . | ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA KHOA HỌC - KỸ THUẬT MÁY TÍNH CẤU TRÚC RỜI RẠC CHO KHMT (CO1007) Nhóm: 18TDTT— Homework CHAPTER 1A Propositional Logic GVHD: SV thực hiện: Nguyễn An Khương Đinh Minh Tân – 1613074 Trương Minh Tiến – 1613544 Vũ Đào Anh Tuấn – 1613938 Nguyễn Thị Trà My – 51305086 Tp. Hồ Chí Minh, Tháng 10/2016 1 Exercise 1 1/ fallacy là Ngụy biện ví dụ: A:Tôi nghĩ trên đời này có ma? B:Bằng chứng đâu?? A:Thì cậu có đưa ra được bằng chứng là không có ma không? Tức là trên đời này có ma!? contradiction là sự mâu thuẫn ví dụ: chủ trương duy tâm mâu thuẫn với duy vật paradox là nghịch lý ví dụ: Càng thất bại nhiềuu, càng có khả năng thành công counterexample là phản ví dụ ví dụ: nếu g(a)=0 thì hàm số f (x) F (x) = g(x) có tiệm cận đứng là x=a-> phản ví dụ: đường thẳng x=a không phải là tiệm cận đứng của hàm số x2 − a2 y= x−a example là ví dụ 2/ premise là tiền đề assumption là giả thuyết axiom là tiên đề hypothesis là giả thiết conjecture là sự giả định 3/ tautology là hằng đúng valid là có giá trị hiệu lực satisfiable là thỏa mãn 4/ soundness là tính đúng đắn completeness là điều kiện đủ 5/ sequent là dãy consequence là hệ quả implication là phép kéo theo entailment là phép suy diễn deduction là phép suy luận inference là suy luận 2 Exercise 2 −→, là một phép toán logic, p−→r nghĩa là r là kết quả logic của p với p, r là các biểu thức logic ⇒, ta kí hiệu p→ khi p−→r luôn đúng `, kí hiệu p`r nghĩa là r là kết quả logic của p với p, r là câu logic |=, kí hiệu p|=r nghĩa là hệ quả logic của p, tức là với mọi bộ giá trị của các biến logic trong p, r mà p đúng thì ta có r đúng ←→, kí hiệu p←→ r khi ( p −→ r (1) r −→ p 1 ⇐⇒, kí hiệu p⇐⇒r khi ( p =⇒ r r =⇒ p (2) a`, kí hiệu pa` khi ( p`r r`p (3) ≡, kí hiệu p≡r khi ( p |= r r |= p 3 (4) Exercise 3 1. a. We chose p to stand for” The sun shines today", and q denotes " The sun shines tomorrow."The corresponding formula is then p →¬q b. We chose p to
