Trong logic toán, một phân ngành logic, cơ sở của mọi ngành toán học, mệnh đề, hay gọi đầy đủ là mệnh đề logic 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 logic 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ắn" nó nhận một giá trị. Chẳng hạn: Trên Sao Hỏa có sự sống.