合式公式
若用,…表示真值确定的简单命题,则称,…为命题常项,命题常项的真值是确定不变的,不是为1,就是为0.
若用,…泛指简单的陈述句,则称,…为命题变项,此时,…是变量,它们的取值为1或0.
命题公式是由命题常项、命题变项、联结词、括号等组成的符号串,但不是由这些符号任意组成的符号串都是命题公式.因此,必须给出命题公式的严格定义.