摘要： 离散数学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 44... 阅读全文