logic vị từ toán rời rạc

Như đã nói với các bạn từ slide đầu. Đây là slide tiếp theo mình up. Slide logic vị từ trong Toán rời rạc chuyên ngành công nghệ thông tin. Trên Mạng hiện nay rất nhiều tài liệu nhưng xem khó hiểu và khó tổng hợp. Vì thế mình đã làm slide này để thuyết trình. Hy vọng các bạn có thể thu được những kiến thức trong bài Logic vị từ này. Rất mong các bạn không edit bản quyền và chỉnh sửa. Xin chân trọng cảm ơnSlide designed by Văn Anh KHMT3 Website: TheGioiTinHoc.OrgMọi liên hệ thắc mắc xin comment bên dưới tài liệu hoặc thông qua TheGioiTinHoc.OrgMình sẽ tiếp tục up các slide còn lại trong Môn học Toán Rời Rạc để các bạn tham khảo và học tập.

[...]...Mệnh đề tương đương Logic Phủ định MĐTĐ T F ¬∃xP (x) ∀x ¬P(x) Có 1 x để P(x) F Với mọi x: P(x) là T ¬∀xP (x) ∃x ¬P(x) Với mọi x để P(x) là F Tồn tại x để P(x) là T III Các phương pháp suy luận toán học 1 Các quy tắc suy luận p Q P -> q P^(p->q) [p^(p->q)]->q T F F F T T T T T T F F T F T F T T F T Quy tắc... 3n+2 lẻ thì n lẻ (3n+2 là p còn n là q) Giả sử 3n+2 lẻ và n chẵn Thật vậy 3n+2 lẻ 3(2k)+2 = 2(3k+1) = 2a(a thuộc Z) Vậy 3n+2 là chẵn >< với giả thiết Chứng minh từng trường hợp • Mệnh đề dạng (P1v P2v P3 v…v Pn) -> q đi chứng minh từng trường hợp P1 -> q P2 -> q … Pn -> q Chứng minh quy nạp • Nguyên lý {P(1) ∧ ∀n[P(n) → P (n + 1)]} → ∀nP(n) • Bước cơ sở P(1) • Bước quy nạp ∀ n P(n) -> P(n+1) •... p͟͟->q : q Tam đoạn luật Tuyển • Qui tắc này được thể hiện bằng hằng đúng [(pvq) ^ ¬p] -> q • Sơ đồ pvq ∧p͟͟ : q IV.Các phương pháp CMđịnh lý CM rỗng CM tầm thường CM trực tiếp CM gián tiếp Phản chứng Từng trường hợp Quy nạp Chứng minh rỗng • Phương pháp chỉ ra giả thiết sai VD: nếu n > 1 => n2 >1 CM n=0 đúng P(0) nếu 0>1 thì 02 > 1 F -> F = T Chứng minh tâm thường • Phương pháp chỉ ra kết luận đúng . đó. Lượng Từ ∀ Lượng Từ ∃ Lượng Từ II. Lượng từ 1. Lượng từ ∀ • Lượng từ P(x) là mệnh đề khi P(x) đúng giá trị x trong không ∀ ∀ gian • Ký hiệu: x P(x)∀ • Các cách xác định lượng từ ∀ * Cách. Đỗ Văn Anh – KHMT3.K8 Nhóm 6 Logic vị từ Hàm mệnh đề Phép toán logic trên hàm mệnh đề Lượng từ Các quy tắc suy luận toán học Ví dụ và bài tập áp dụng I. Hàm. định P(x) - Biến x - Biểu diễn câu = lượng từ Ví dụ: Mọi sinh viên máy tính phải học môn logic P (x) = “x phải học môn logic Mệnh đề: x P(x)∀ 1. Lượng từ ∀ * Cách 2: Nếu…thì… Ví dụ: Nếu bạn là