公式层次：单个的命题变项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的真值表，并求它的成真赋值和成假赋值。
