公式的层次计算方法（插入法计算公式举例）

公式层次：单个的命题变项A是0层公式。

如果A是n层公式，B是m层公式，那么￢A是n+1层公式；C=A∧B,C=A∨B,C=A→B,C=A↔B的层次是：max(n,m)+1。

比如（￢(p→￢q) ∧((r∨s) ↔￢q)的层次计算就是：

0 1 0 0 1

2 1 1

3 2

4

4层公式

设p1,p2,p3…pn是公式A中的全部与命题变项，那么给它们各指定一个真值，这就是A的一个赋值/解释。若使A=1，则是成真赋值，否则就是成假赋值。

所以含有n（n≥1）个命题变项的公式有2n个不同赋值。

真值表：把命题公式A在所有赋值下取值情况列成的表。

例：写出（￢p∧q）→￢r的真值表，并求它的成真赋值和成假赋值。