TAILIEUCHUNG - Chương 1: Đại số mệnh đề phần 2

Giải hệ phuơng trình này ta được x = 45 và y = 44. Vậy a = 1974. Trên đây là vài ví dụ đơn giản. Hy vọng rằng các ví dụ này cho chúng ta thấy được sự quan trọng của logic không chỉ trong toán học, khoa học máy tính mà còn trong cuộc sống hàng ngày. | Chương 1 Đại số mệnh đề Hay là í x y 89 x - y 1 Giải hệ phuơng trình này ta được x 45 và y 44. Vậy a 1974. Trên đây là vài ví dụ đơn giản. Hy vọng rằng các ví dụ này cho chúng ta thấy được sự quan trọng của logic không chỉ trong toán học khoa học máy tính mà còn trong cuộc sống hàng ngày. . Các thuật ngữ chuyên ngành SOME TERMINOLOGY . Định nghĩa Hằng đúng Tautologie Một hằng đúng là một mệnh đề luôn có chân trị là đúng. Một hằng đúng cũng là một biểu thức mệnh đề luôn có chân trị là đúng bất chấp sự lựa chọn chân trị của biến mệnh đề. Ví dụ xét chân trị của biểu thức mệnh đề P V P P P PvP T F F T T T Vậy PvP là một hằng đúng. . Định nghĩa Hằng sai Contradiction Một hằng sai là một mệnh đề luôn có chân trị là sai. Một hằng sai cũng là một biểu thức mệnh đề luôn có chân trị là sai bất chấp sự lựa chọn chân trị của biến mệnh đề. Ví dụ xét chân trị của biểu thức mệnh đề P A P P P PaP T F F T F F Trang 17 Chương 1 Đại số mệnh đề Vậy PaP là một hằng sai. . Định nghĩa tiếp liên Contingency Một tiếp liên là một biểu thức mệnh đề không phải là hằng đúng và không phải là hằng sai. Ví dụ Tìm chân trị của biểu thức mệnh đề p a Q V Q p q q p Aq pAq V q T T F T T T F T F T F T F F F F F T F T Vậy p a Q V Q là một tiếp liên vì nó không phải là hằng đúng và cũng không phải là hằng sai. . Mệnh đề hệ quả Định nghĩa Cho F và G là 2 biểu thức mệnh đề. Người ta nói rằng G là mệnh đề hệ quả của F hay G được suy ra từ F nếu F G là hằng đúng. Kí hiệu F G Ví dụ Cho F p Q a Q R G p R Xét xem G có là mệnh đề hệ quả của F không P Q R P Q Q R F G F G T T T T T T T T T T F T F F F T T F T F T F T T T F F F T F F T F T T T T T T T Trang 18 Chương 1 Đại số mệnh đề F T F T F F T T F F T T T T T T F F F T T T T T Vậy G là mệnh đề hệ quả của F Nhận xét Neu G là hệ quả của F thì khi F là đúng thì bắt bắt buộc G phải đúng. Ngược lại nếu G là đúng thì chưa có kết luận gì vể chân trị của F. . Tương đương Logic LOGICALLY EQUIVALENT Định nghĩa 1 Mệnh đề P và mệnh đề Q được gọi là

• Toán học
• phương trình toán học
• toán sinh viên
• toán đại số
• kiến thức toán học
• toán đại học
• Luận văn Thạc sỹ Toán học
• Phương pháp toán sơ cấp
• Phương pháp giải phương trình bất phương trình
• Phương trình bất phương trình chứa logarit
• Phương pháp giải phương trình
• Sách Toán học
• Tài liệu ôn tập môn Toán
• Phương pháp giải hệ phương trình
• giải bài toán bằng phương pháp véc tơ
• Phương trình vô tỉ có tham số
• Trắc nghiệm phương trình vô tỉ
• Phương pháp giải Phương trình và hệ phương trình
• Bài tập Phương trình
• Bài tập hệ phương trình
• Phương pháp giải bài tập Toán học
• Phương trình hữu tỉ
• Hệ phương trình có tham số
• Luận văn Thạc sĩ Sư phạm Toán
• Phương pháp dạy học môn Toán
• Cấu trúc của năng lực toán học
• Phương pháp dạy học giải phương trình
• Giải bất phương trình bằng phương pháp hàm số
• Luận văn Toán học
• Luận văn Phương pháp toán sơ cấp
• Dạng toán phương trình vô tỉ
• Dạng toán bất phương trình vô tỉ
• Phương trình vô tỉ
• Bất phương trình vô tỉ
• Chuyên đề ôn thi Toán 12
• Ôn thi đại học Toán 12
• Dạng toán về phương trình
• Bất phương trình vô tỷ
• Bất phương trình
• Sáng kiến kinh nghiệm Toán học
• Cách lập hệ phương trình
• Cách lập phương trình
• Giải bài toán bằng lập phương trình
• Phương pháp giải bài tập toán
• Hệ bất phương trình đại số
• Hệ bất phương trình một ẩn
• Hệ phương trình
• Phân dạng phương trình
• Hệ phương trình đại số
• Phương trình đại số
• Phương trình bậc hai
• Hệ phương trình đối xứng loại một
• Giáo trình Phương pháp dạy học Toán
• Phương pháp dạy học Toán tiểu học
• Phương pháp dạy học Toán
• Dạy học Toán
• Hình thức tổ chức dạy học Toán
• Tổ chức dạy học Toán
• Luận văn Thạc sĩ Khoa học giáo dục
• Quy trình Toán học hóa
• Dạy học bất phương trình
• Quá trình dạy học môn Toán ở trường THPT
• Phương pháp dạy Toán THPT
• Phương pháp giải Toán phương trình
• Sử dụng đạo hàm giải phương trình
• Sáng kiến kinh nghiệm dạy Toán THPT
• Giúp học tốt Toán học THPT
• Giải hệ phương trình
• Chuyên đề luyện thi đại học môn Toán
• Ôn tập môn Toán
• Bài toán hệ phương trình
• Kĩ năng giải toán phương trình
• toán giải phương trình
• phương trình mũ
• toán bất phương trình
• phương trình logarit
• ôn thi đại học toán
• phương pháp giải toán
• Ôn thi đại học môn Toán
• Ôn tập hệ phương trình
• Hệ phương trình vô tỷ
• tài liệu học môn toán
• sổ tay toán học
• phương trình
• Tài liệu ôn thi Đại học môn Toán
• Giải phương trình
• Giải bất phương trình
• Phát triển năng lực ứng dụng Toán học
• Phương pháp dạy học về chủ đề phương trình
• Dạy học phát hiện và sửa chữa sai lầm
• Giải toán phương trình và bất phương trình
• Bất phương trình căn thức cơ bản
• Luận án Tiến sĩ Toán học
• Phương trình vi phân không địa phương
• Phương trình vi phân
• Phương trình tích phân
• Toán tử đạo hàm không địa phương
• Phương trình Volterra vô hướng
• Chuyên đề ôn thi Đại học môn Toán
• Ôn thi Đại học 2014
• Luyện thi Đại học môn Toán
• 5 phương trình làm thay đổi thế giới
• Sức mạnh toán học
• Chất thơ toán học
• Những quả táo rơi
• Phương trình năng lượng
• Phương trình thuỷ động lực học
• Phương trình nhiệt động lực học
• Phương trình vạn vật hấp dẫn
• hình học giải tích
• giáo trình toán học
• hệ phương trình vô ti
• Đề luyện thi đại học môn toán
• bài tập toán về phương trình
• ôn thi đại học phần bất phương trình
• bài tập hệ phương trình đại số
• luyện thi đại học toán đại số