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:Ký hiệu:Chẳng hạn, để ký hiệu a là mệnh đề "Paris là thủ đô của nước Pháp" ta sẽ viết:Ở đây, a là mệnh đề đúng nên G(a) = 1.Chú ý: