Tài liệu tham khảo chuyên đề toán học về Đại số mệnh đề | Chương 1. Đại số mệnh đề Trần Thọ Châu Logic Toán. NXB Đại học quốc gia Hà Nội 2007. Tr 7-38. Từ khoá Logic toán Đại số mệnh đề Hàm đại số logic. Tài liệu trong Thư viện điện tử ĐH Khoa học Tự nhiên có thể sử dụng cho mục đích học tập và nghiên cứu cá nhân. Nghiêm cấm mọi hình thức sao chép in ấn phục vụ các mục đích khác nếu không được sự chấp thuận của nhà xuất bản và tác giả. Chương 1 Đai số mênh dề Các phép toán và bảng chân ly. 8 Phép phủ định -1 not . 10 Phép và A and hội . 10 Phép hay là v or tuyộn . 10 Phép kéo theo . 11 Phép tuơng duơng . 12 Câng thức ménh đé. 12 Một sá định nghĩả. 16 Hàm đại số logic. 16 Sự đong nhất đúng - đong nhất sai. 18 Mât sá tính chảt. 22 . Dảng chuản tác cUả cong thức ménh đe. 23 Dạng chủẩn túc tủyén và chủẩn túc họi. 23 Dạng chủẩn túc hoàn toàn. 24 Các hé đầy đU cUả các phép toán. 25 Bài tảp chương 1 . 34 8 Chương 1. Đại so mệnh đề Thông thường chung ta thanh lập các mệnh de phức hợp tù các mệnh de dơn gián. Trong chương náy chung tá sệ di sáu nghiện cứu dáy du bán chát củá dái sô mệnh de vá tư duy suy diện củá nô môt cách chát che lôgic vá máng tính thực tiện. Các phép toán và bảng chân lý Chung ta đều biết con người có kha nang phan ánh moi quan hệ hiện thực giữa cac sụ1 vật bang những mệnh đề. Cac mệnh đề đó được đưa ra đưới nhiều hình thức khac nhau chang han như mọt lời noi mọt cau van mọt cong thức Toan Ly Hoa hay sụ1 mô phong của một bức tranh . nhưng cơ ban trong đo la cac mệnh đề nay co mang đay đu y nghĩa nhat đinh hay khong nghĩa la cac mệnh đề đo có mang thệo tính chat hiện thực đưới mọt hình thức nhat đinh chứ không phai la mọt mệnh đề suong vo nghĩa va cung không phai la nhũng lời noi chứa đựng mọt y nghĩ khong nghiệm tuc. Mot mệnh đề phan anh mot sư việc nao đó thệo mot cach thức nhat đinh . . . . . va sụ1 việc đo phan anh tính chan thực thệo cach trện thì đT goi la mọt mệnh dệ dung Trai lai mệnh đề đo được goi la mọt mệnh
