合式公式

单个命题变项和命题常项时合式公式, 称为原子命题公式.

若 $A$ 是合式公式, 则 $(\neg A)$ 也是.

若 $A,B$ 是合式公式, 则 $(A\wedge B),(A\vee B),(A\to B),(A\leftrightarrow B)$ 也是.

若公式 $A$ 为单个命题变项, 则称为 0 层公式; 若公式 $A$ 的层次为 $k$, 则称为 $k$ 层公式.