Bạn đang xem phiên bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tư liệu tại đây (263.34 KB, 63 trang )
Bạn đang xem: Ví dụ về mệnh đề kéo theo
2.5. Phép kéo theo 2 chiềuMệnh đề “Nếu phường thì Q với ngược lại”, kí hiệu p ↔ Q (còn phát âm là“P nếu và chỉ còn nếu Q” hoặc “P khi và chỉ còn khi Q” hoặc “P là điềukiện đề xuất và đủ để sở hữu Q”) bao gồm chân trị 1 nếu cả 2 mệnh đề phường và Qcó cùng chân trị, gồm chân trị 0 trong các trường hòa hợp còn lại.Bảng chân trị:PQ00P↔Q1010100111 3. Dạng mệnh đềTóm tắt:Định nghĩa Bảng chân trị tương đương Logic Hệ trái Logic những quy tắc nỗ lực thế những luật logic Các phương thức chứng minh 3.1. Dạng mệnh đềĐịnh nghĩa: Dạng mệnh đề là một trong biểu thức Logic(bao gồm các hằng mệnh đề, biến đổi mệnh đề được kếthợp bởi các phép toán logic).Ví dụ 1: mang đến dạng mệnh đề theo 3 thay đổi mệnh đề p, q:E(p,q)=(p ∧ q) →¬ pBản thân E(p,q): chưa phải là mệnh đề.Nếu thay biến đổi mệnh đề p. Bởi mệnh đề p và đổi mới mệnh đề qbởi mệnh đề Q. Khi đó E(P, Q) là mệnh đề (có chân trị xácđịnh)Bảng chân trị cho thấy chân trị của dạng mệnh đềtheo chân trị xác định của những biến mệnh đề. 3.1. Dạng mệnh đề (tt)Ví dụ 3.1: Lập bảng chân trị của dạng mệnh đề:E(p,q)=(p ∧ q) →¬ ppq¬pp∧qp∧q →¬p00101011011000111010 Dạng mệnh đề (tt)Ví dụ 3.2: Viết lại thành dạng mệnh đề là lập bảng chân trị mang lại diễnđạt: “Bạn được phép đi xe pháo máy nếu bạn trên 16 tuổi và có sứckhỏe tốt”.Gọi: p: các bạn được phép đi xe máy.q: chúng ta trên 16 tuổi.pqrq ∧r q ∧r→pr: bạn có sức mạnh tốt.?????Dạng mệnh đề cho diễn đạt trên:q ∧r→p.Bảng chân trị : 3.2 Tương đương súc tích & hệ quả logicHai dạng mệnh đề E cùng F tương đương súc tích nếu chúng cócùng bảng chân trị. Kí hiệu E ⇔ F (còn gọi là “E tươngđương xúc tích và ngắn gọn với F” hoặc “F tương đương xúc tích với E”).Dạng mệnh đề gọi là hằng đúng (tautology) giả dụ nó luôn cóchân trị 1.Dạng mệnh đề call là hằng không đúng (mâu thuẩn- Contradiction) nếunó luôn có chân trị 0.E và F tương đương xúc tích và ngắn gọn khi còn chỉ khi E↔ F là 1 hằngđúng.F là hệ quả súc tích của E (kí hiệu E ⇒ F) giả dụ E → F là hằngđúng.
Tài liệu liên quan
Xem thêm: Tổng Hợp Các Môn Thi Đại Học : Các Khối Thi Và Ngành Nghề Tương Ứng
