命题公式是由命题常项、命题变项、联结词、括号等组成的符号串。
具体说来，需要由命题常项或变相 $0, 1, p, q, ...$ 由联结词 $\neg, \wedge, \vee, \rightarrow, \leftrightarrow$ 有限次组合形成。
命题公式的分类：
0层公式就是单独的命题常项/命题变项。
一个运算加一层，n层公式取其最高层数。
各命题变项的取值赋入公式。如让公式为真，则称为成真赋值；否则为成假赋值。
真值表： $n$ 个命题变项有 $2^n$ 个取值情况，将取值情况按字典序列成表，得到真值表。其中各列需要从各变项取值经过各层次取值一直到整个式子的取值。
重言式（永真式）
矛盾式（永假式）
可满足式（可以为真）
非重言式的可满足式（有真有假）