数理逻辑研究中的中心问题是推理，而推理的前提和结论都是命题，因而命题是推理的基本单位.
- 命题的定义
- 具有确切真值的陈述句称为命题（proposition）. 该命题可以取一个“值”，称为真值. 真值只有“真”和“假”两种，分别用“T”（或“1”）和“F”（或“0”）表示.
一切没有判断内容的句子或本身具有二义性的句子等都不能作为命题.
- 不能作为命题的例子
- 这个语句是假的
- 把门关上
- 滚出去！
- 你要跳舞吗？
- 注意区分有真值和不知道真值，下面的例子是有真值，但是我们不知道其真值，这样的也是命题
- 我喜欢踢足球
- 今天是晴天
- 地球外的星球上也有人
- （注意和 相区分，是否包含未确定的变量）
- 复合命题
- 例子
- 四川不是一个国家
- 3既是素数又是奇数
- 刘谦是大学生或运动员
- 如果周末天气晴朗，则我们将到郊外旅游
- 两个三角形全等当且仅当三角形的三条边全部相等
- 原子命题（简单命题）和复合命题
- 原子命题
- 不能再分解为更为简单命题的命题.
- 复合命题
- 可以分解为更为简单命题的命题.
- 这些简单命题之间是通过如“或”、“并且”、“不”、“如果……则……”、“当且仅当”等这样的关联词和标点符号复合而成.
- 原子命题
- 通常用大写的带或不带下标的英文字母表示命题（包括原子命题和复合命题）.
- 例子