Bài giảng Cấu trúc rời rạc cho Khoa học máy tính: Chapter 1 – ĐH Bách Khoa

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

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.