离散数学2：基本概念 公式层次：单个的命题变项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层公式...
(1)单纯A作为变元或者常元是0层公式; (2)在此基础之上,每添加一个符号计算,运算加一层, (3)注意,在同一括号内的相同符号计算不得再次相加; 公式层次:单个的命题变项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。扩展...