Ví Dụ Về Phép Kéo Theo - Tài Liệu Text - 123doc

1. Trang chủ >
2. Khoa Học Tự Nhiên >
3. Toán học >

Ví dụ về phép kéo theo

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (263.34 KB, 63 trang )

2.5. Phép kéo theo 2 chiềuMệnh đề “Nếu P thì Q và ngược lại”, kí hiệu P ↔ Q (còn đọc là“P nếu và chỉ nếu Q” hoặc “P khi và chỉ khi Q” hoặc “P là điềukiện cần và đủ để có Q”) có chân trị 1 nếu cả 2 mệnh đề P và Qcó cùng chân trị, có chân trị 0 trong các trường 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ệ quả Logic Các quy tắc thay thế Các luật logic Các phương pháp chứng minh3.1. Dạng mệnh đềĐịnh nghĩa: Dạng mệnh đề là một biểu thức Logic(bao gồm các hằng mệnh đề, biến mệnh đề được kếthợp bởi các phép toán logic).Ví dụ 1: Cho dạng mệnh đề theo 3 biến 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 mệnh đề p bởi mệnh đề P và biến 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 biết chân trị của dạng mệnh đềtheo chân trị xác định của các 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ị cho diễnđạt: “Bạn được phép đi xe máy nếu bạn trên 16 tuổi và có sứckhỏe tốt”.Gọi: p: Bạn được phép đi xe máy.q: Bạn trên 16 tuổi.pqrq ∧r q ∧r→pr: Bạn có sức khỏe 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 logic & hệ quả logicHai dạng mệnh đề E và F tương đương logic nếu chúng cócùng bảng chân trị. Kí hiệu E ⇔ F (còn đọc là “E tươngđương logic với F” hoặc “F tương đương Logic với E”).Dạng mệnh đề gọi là hằng đúng (tautology) nếu nó luôn cóchân trị 1.Dạng mệnh đề gọi là hằng sai (mâu thuẩn- Contradiction) nếunó luôn có chân trị 0.E và F tương đương logic khi và chỉ khi E↔ F là một hằngđúng.F là hệ quả logic của E (kí hiệu E ⇒ F) nếu E → F là hằngđúng.

Xem Thêm

Tài liệu liên quan

• Cơ sở Logic pot
  • 63
  • 4,268
  • 39
• Chiến lược kinh doanh quốc tế của Walt Disney và hình thức thâm nhập vào thị trường Trung Quốc.doc
  • 23
  • 3
  • 28
• Chiến lược marketing kẻ đối lập.doc
  • 2
  • 288
  • 0
• chiến lược marketing quốc tế của tập đoàn L'oréal.pdf
  • 43
  • 2
  • 35
• chiến lược Marketing trong cạnh tranh chiếm lĩnh thị trường của Unilever tại Việt Nam.pdf
  • 1
  • 283
  • 3
• chiến lược mở rộng thị trương mỹ của côngn ty cổ phần sản xuất và thương mại gỗ High-up.docx
  • 24
  • 485
  • 2
• Chiến lược phát triển sản phẩm mới sữa tươi thanh trùng HILO của công ty sữa Nestlé Việt Nam.doc
  • 29
  • 4
  • 46
• Chiến lược phát triển vị thế cạnh tranh của các doanh nghiệp xuất khẩu Dệt May Việt Nam trong giai đoạn 2002 – 2020.pdf
  • 1
  • 188
  • 3
• Chiến lược tăng trưởng dựa vào xuất khẩu của VN từ nay đến năm 2005.DOC
  • 0
  • 0
  • 0

Tải bản đầy đủ (.ppt) (63 trang)

Tài liệu bạn tìm kiếm đã sẵn sàng tải về

(344.5 KB) - Cơ sở Logic pot-63 (trang) Tải bản đầy đủ ngay ×