Ảnh đẹp,18,Bài giảng điện tử,10,Bạn đọc viết,225,Bất đẳng thức,75,Bđt Nesbitt,3,Bổ đề cơ bản,9,Bồi dưỡng học sinh giỏi,41,Cabri 3D,2,Các nhà Toán học,129,Câu đố Toán học,83,Câu đối,3,Cấu trúc đề thi,15,Chỉ số thông minh,4,Chuyên đề Toán,289,congthuctoan,9,Công thức Thể tích,11,Công thức Toán,112,Cười nghiêng ngả,31,Danh bạ website,1,Dạy con,8,Dạy học Toán,279,Dạy học trực tuyến,20,Dựng hình,5,Đánh giá năng lực,1,Đạo hàm,17,Đề cương ôn tập,39,Đề kiểm tra 1 tiết,29,Đề thi - đáp án,983,Đề thi Cao đẳng,15,Đề thi Cao học,7,Đề thi Đại học,159,Đề thi giữa kì,20,Đề thi học kì,134,Đề thi học sinh giỏi,126,Đề thi THỬ Đại học,399,Đề thi thử môn Toán,64,Đề thi Tốt nghiệp,45,Đề tuyển sinh lớp 10,100,Điểm sàn Đại học,5,Điểm thi - điểm chuẩn,221,Đọc báo giúp bạn,13,Epsilon,9,File word Toán,35,Giải bài tập SGK,16,Giải chi tiết,196,Giải Nobel,1,Giải thưởng FIELDS,24,Giải thưởng Lê Văn Thiêm,4,Giải thưởng Toán học,5,Giải tích,29,Giải trí Toán học,170,Giáo án điện tử,11,Giáo án Hóa học,2,Giáo án Toán,18,Giáo án Vật Lý,3,Giáo dục,363,Giáo trình - Sách,81,Giới hạn,20,GS Hoàng Tụy,8,GSP,6,Gương sáng,206,Hằng số Toán học,19,Hình gây ảo giác,9,Hình học không gian,108,Hình học phẳng,91,Học bổng - du học,12,IMO,12,Khái niệm Toán học,66,Khảo sát hàm số,36,Kí hiệu Toán học,13,LaTex,12,Lịch sử Toán học,81,Linh tinh,7,Logic,11,Luận văn,1,Luyện thi Đại học,231,Lượng giác,57,Lương giáo viên,3,Ma trận đề thi,7,MathType,7,McMix,2,McMix bản quyền,3,McMix Pro,3,McMix-Pro,3,Microsoft phỏng vấn,11,MTBT Casio,28,Mũ và Logarit,38,MYTS,8,Nghịch lí Toán học,11,Ngô Bảo Châu,49,Nhiều cách giải,36,Những câu chuyện về Toán,15,OLP-VTV,33,Olympiad,304,Ôn thi vào lớp 10,3,Perelman,8,Ph.D.Dong books,7,Phần mềm Toán,26,Phân phối chương trình,8,Phụ cấp thâm niên,3,Phương trình hàm,4,Sách giáo viên,15,Sách Giấy,11,Sai lầm ở đâu?,13,Sáng kiến kinh nghiệm,8,SGK Mới,24,Số học,57,Số phức,34,Sổ tay Toán học,4,Tạp chí Toán học,38,TestPro Font,1,Thiên tài,95,Thống kê,2,Thơ - nhạc,9,Thủ thuật BLOG,14,Thuật toán,3,Thư,2,Tích phân,79,Tính chất cơ bản,15,Toán 10,149,Toán 11,179,Toán 12,391,Toán 9,67,Toán Cao cấp,26,Toán học Tuổi trẻ,26,Toán học - thực tiễn,100,Toán học Việt Nam,29,Toán THCS,22,Toán Tiểu học,5,toanthcs,6,Tổ hợp,39,Trắc nghiệm Toán,222,TSTHO,5,TTT12O,1,Tuyển dụng,11,Tuyển sinh,272,Tuyển sinh lớp 6,8,Tỷ lệ chọi Đại học,6,Vật Lý,24,Vẻ đẹp Toán học,109,Vũ Hà Văn,2,Xác suất,28, Trong lôgic toán, một phân ngành lôgic học, cơ sở của mọi ngành toán học, mệnh đề, hay gọi đầy đủ là mệnh đề lôgic là một khái niệm nguyên thủy, không định nghĩa. Thuộc tính cơ bản của một mệnh đề là giá trị chân lí của nó, được quy định như sau: Mỗi mệnh đề có đúng một trong hai giá trị chân lí 0 hoặc 1. Mệnh đề có giá trị chân lí 1 là mệnh đề đúng, mệnh đề có giá trị chân lí 0 là mệnh đề sai. Kí hiệu: Người ta thường dùng các chữ cái a, b, c,... để kí hiệu cho các mệnh đề. Nếu mệnh đề a có giá trị chân lí là 1 thì ta kí hiệu G(a) = 1; nếu mệnh đề a có giá trị chân lí là 0 thì ta kí hiệu là G(a) = 0. Chẳng hạn, để kí hiệu a là mệnh đề "Paris là thủ đô của nước Pháp" ta sẽ viết: a = "Paris là thủ đô của nước Pháp" hoặc a : "Paris là thủ đô của nước Pháp". Ở đây, a là mệnh đề đúng nên G(a) = 1. Chú ý: 1. Trong thực tế có những mệnh đề mà tính đúng sai của nó luôn gắn với một thời gian và địa điểm cụ thể: đúng ở thời gian hoặc địa điểm này nhưng sai ở thời gian hoặc địa điểm khác. Nhưng ở bất kì thời điểm nào, địa điểm nào cũng luôn có giá trị chân lí đúng hoặc sai. Chẳng hạn: Sáng nay bạn An đi học. Trời mưa. Học sinh tiểu học đang đi nghỉ hè. 2. Ta thừa nhận các luật sau đây của lôgic mệnh đề: Luật bài trùng: Mỗi mệnh đề phải hoặc đúng, hoặc sai; không có mệnh đề nào không đúng cũng không sai. Luật mâu thuẫn: Không có mệnh đề nào vừa đúng lại vừa sai. 3. Có những mệnh đề mà ta không biết (hoặc chưa biết) đúng hoặc sai nhưng biết "chắc chắc" nó nhận một giá trị. Chẳng hạn: Trên sao Hỏa có sự sống. Mệnh đề và câu Mệnh đề có thể là một câu nhưng không phải mọi câu đều là mệnh đề. Có thể chia các câu trong khoa học cũng như trong cuộc sống ra làm hai loại: loại thứ nhất gồm những câu phản ánh tính đúng hoặc sai một thực tế khách quan và loại thứ hai gồm những câu không phản ánh tính đúng hoặc sai một thực tế khách quan nào. Những câu thuộc loại thứ nhất là chính những mệnh đề. Vì vậy có thể nói: "Mệnh đề là một câu khẳng định có tính chất hoặc đúng hoặc sai". Ví dụ:  9. Các câu sau: "Cuốn sách này giá bao nhiêu tiền?" "Bao giờ lớp mình đi tham quan Đền Hùng?" "Ôi! ngôi nhà mới đẹp làm sao!" "Tất cả hãy anh dũng tiến lên!" đều không phải là mệnh đề. Nhận xét: nói chung những câu nghi vấn, câu cảm thán, câu mệnh lệnh đều không phải là mệnh đề. Mệnh đề lôgic và mệnh đề mờ Nếu như trong Lôgic toán, một mệnh đề chỉ có thể nhận một trong hai giá trị chân lí 0 hoặc 1 thì trong Trí tuệ nhân tạo người ta dùng lôgic mờ, mà ở đó giá trị chân lí của một mệnh đề là một số nằm giữa 0 và 1. Mệnh đề có giá trị chân lí 0 là sai, có giá trị chân lí 1 là đúng. Còn giá trị chân lí nằm giữa 0 và 1 chỉ ra mức độ thay đổi của chân lí. C ác p h é p toán l ô gic cơ b ả n Trong toán học, khi có hai số, người ta dùng các phép toán số học (cộng, trừ, nhân, chia,...) tác động vào chúng để nhận được những số mới. Tương tự, khi có mệnh đề, người ta dùng các phép lôgic tác động vào chúng để nhận được những mệnh đề mới. Dưới đây ta trình bày định nghĩa và các tính chất cơ bản của các phép toán này. Phép phủ định Phủ định của mệnh đề a là một mệnh đề, kí hiệu là , đúng khi a sai và sai khi a đúng. Ví dụ 1: Bảng giá trị chân lí của phép phủ định a a 1 0 0 1 Nếu a = "Paris là thủ đô của nước Pháp" thì mệnh đề phủ định sau: a= "Không phải Paris là thủ đô của nước Pháp" hoặc a= "Paris không phải là thủ đô của nước Pháp". Ở đây G(a) = 1 còn G( a) = 0. Ví dụ 2: Nếu b = "15 lớn hơn 30" thì mệnh đề phủ định bcó thể diễn đạt như sau: b= "Không phải 15 lớn hơn 30" hoặc b= "15 không lớn hơn 30" hoặc b= "15 nhỏ hơn 30" Ở đây G(b) = 0 còn G( b) = 1. Ví dụ 3: Nếu c = "Chuyến tàu TN1 hôm nay bãi bỏ" thì mệnh đề phủ định ccó thể diễn đạt như sau: c= "Chuyến tàu TN1 hôm nay không bãi bỏ". Nếu qua xác minh mệnh đề c đúng (hoặc sai) thì mệnh đề phủ định csẽ sai (hoặc đúng). Chú ý: Mệnh đề phủ định a thường được diễn đạt là "không phải a". Phép hội Hội của hai mệnh đề a, b là một mệnh đề, đọc là a và b, kí hiệu a Λ b (hoặc a.b), đúng khi cả hai mệnh đề a, b cùng đúng và sai trong các trường hợp còn lại. Bảng giá trị chân lí của phép hội a b a Λ b 1 1 1 1 0 0 0 1 0 0 0 0 Chú ý: Để thiết lập mệnh đề hội của hai mệnh đề a, b ta ghép hai mệnh đề đó bởi liên từ "và" hay một liên từ khác cùng loại. Những liên từ đó là: mà, nhưng, song, đồng thời, vẫn, cùng,... hoặc dùng dấu phảy hoặc không dùng liên từ gì. Ví dụ 1: "Lúc 8 giờ sáng nay Hà có mặt ở Hà Nội và thành phố Hồ Chí Minh" là hội của hai mệnh đề a = "Lúc 8 giờ sáng nay Hà có mặt ở Hà Nội" và b = "Lúc 8 giờ sáng nay Hà có mặt ở thành phố Hồ Chí Minh". Vì hai mệnh đề này không thể cùng đúng, nên G(a Λ b) = 0. Ví dụ 2: "Thành phố Hồ Chí Minh là thành phố lớn nhất trong cả nước nhưng không phải là thủ đô" là hội của hai mệnh đề a = "Thành phố Hồ Chí Minh là thành phố lớn nhất trong cả nước" và b = "Thành phố Hồ Chí Minh không phải là thủ đô". Rõ ràng là G(a) = 1 và G(b) = 1 nên G(a Λ b) = 1. Ví dụ 3: "Số π lớn hơn 2 song nhỏ hơn 3". "Chị Nga nói thạo tiếng Pháp mà không biết tiếng Anh". "ABC là tam giác vuông cân" là hội của của hai mệnh đề a = "ABC là tam giác vuông" và b = "ABC là tam giác cân". |
