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:

• 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.