命题变量 在数理逻辑中命题变量也称命题变元句子变量是要么为真要么为假的变量命题变量是命题公式的基本构件板块用于命题逻辑和更高的逻辑中 逻辑中的公式通常是由一些命题变量一些逻辑连接词和一些逻辑量词递归地建立的命题变量是命题逻辑的原子公式通常用大写字母表示如 P displaystyle displaystyle P  Q displaystyle displaystyle Q  R displaystyle displaystyle R  在一个给定的命题逻辑中我们可以按如下方式定义公式 所有命题变量是公式 给定公式 X displaystyle X 否定  X displaystyle neg X 是公式 给定两个公式 X displaystyle X 和 Y displaystyle Y 和一个二元连结词 b displaystyle b 比如逻辑合取  displaystyle wedge  则 X b Y displaystyle XbY 是公式 通过上述方式命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来