Mệnh đề-bảng chân trị: một mệnh đề là một câu phát biểu mà có thể nói ngay ra câu đó đúng hoặc sai | Chương 1. Ngôn ngữ Logic 1. NGON NGỮ LOGIC. . Mệnh đề - Bang chan trị. . Định nghĩa. Môt Mệnh đề là môt câu phát biểu đôi tương Toán hoc mà ta cô thể nôi ngay rằng cáu đô đung hoác sai. Thí dụ. 8 là môt sô chán là môt Mệnh đề đung. 3 2 lá môt Mệnh để sái. x lá môt sônguyện x 10 không phái lá Mệnh đề. Anh cô khôể không không phái lá Mệnh đề. Hái mệnh đệ p vá q đươc gôi lá tương đồng nếu chung cung ĐÚNG hoặc cung SAI ky hiệu p q. . Bang chan trị. Đệ biệu diện giá trị ĐÚNG hoác SAI củá môt mệnh đệ p ngươi tá dung Báng chán trị. p T F Hoác P 0 1 Các ky hiệu T 1 chỉ giá trị ĐÚNG F 0 chỉ giátrị SAI. Nệu cần phái xệt hái mệnh đệp vá q cung luc thì tá cô báng chán trị vơi 4 trương hơp. p q 0 0 0 1 1 0 1 1 Trương My Dung 4 Chương 1. Ngôn ngữ Logic Tong quát nếu cô n mệnh đề can xét cung luc thì bảng chân trị gôm 2 trương hơp. . Phủ định của một Mệnh đề. Phu định cua Mệnh đề p lá môt mệnh đề ky hiệu p cô giá trị SAI nếu p ĐÚNG vá cô giá trị ĐÚNG nếu p SAI. Thí du. Nếu p 2 2 4 thì phu định củá p lámệnh đề p 2 2 4 . p p 1 0 1 0 . Cac phệp nội logic. Các mệnh đệ cô thệ đươc kệt hơp lái đệ đươc môt Mệnh đệ hơp báng cách sữ dung các phệp nôi lôgic. Các phệp nôi lôgic gồm cô Phệp nôi bền tuyện vá . Phệp hơp háy . Phệp kệô thệô. Phệp tương đương. Phệp hơp cô lôái trừ. . Phệp Nội lien tuyển . Tuyện hái mệnh đệ p vá q ky hiệu p Ù q đọc lá p vá q hôác chỉ cô giá trị ĐÚNG khi cá hái cung ĐÚNG. Báng chán trị củá p Ù q như sáu p q p Ù q 1 1 1 1 0 0 0 1 0 0 0 0 Thí du p 3 5 q 4 2 2 . Tá cô p Ù q 3 5 vá 4 2 2 lá Mệnh đệ sái. . Phệp hỢp. Hơp củá hái mệnh đệ p vá q lá mệnh đệ pv q đôc lá p háy q hôác p q cô giá trị ĐÚNG nệu ít nhát môt trông hái mệnh đệ trên ĐÚNG vá cô giá trị SAI nệu cá hái cung SAI. Trương My Dung 5 Chương 1. Ngôn ngữ Logic Bảng chân trị cua p V q như sau p q p V q 1 1 1 1 0 1 0 1 1 0 0 0 Thí du p 3 5 q 4 2 2 . Ta cô pvq 3 5 vả q 4 2 2 lả Mệnh đề ĐÚNG. . Cậc tính chất cua phép tuýén phé p hợp. ả. Luy đảng p Ù p p p V p p Đôi xững p Ù q
