而在所有数理逻辑的研究中，最基础的部分就是命题和命题的真值。

命题这一概念并没有很好的定义。命题，通俗的说，就是一个可以判断是否正确的陈述句。例如，“天空是蓝色的”就是一个命题，而“太阳升起了吗？”则不是。如果一个命题是正确的，我们就说它是真命题，或者它的真值为真；如果一个命题是错误的，我们就说它是假命题，或者它的真值为假。