（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。

扩展资料：

集合论公式分层，公理集合论术语.指集合论公式的分类方法.设乏，与II(nEw)为按下列递归方式定义的公式集: 1. }o(=IIa)为受限公式集. 2.若抓x)E}},x为沪中的任一自由变元，则 日xyx)任}.}+i } b}x}p(x )任Il.}+} " 3.若抓x)En.,}x为沪中的任一自由变元，则 3 x}p(x )任乏，+，，dx}pCx)任刀n+}

参考资料来源：百度百科-集合论公式分层

本文地址： http://www.goggeous.com/20250102/1/1099190

文章来源：天狐定制

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。