论文研究-n值命题逻辑中公式列的收敛性.pdf

【文件属性】：

文件名称：论文研究-n值命题逻辑中公式列的收敛性.pdf

文件大小：553KB

文件格式：PDF

更新时间：2022-09-30 09:08:44

论文研究

在[n]值[R0]命题逻辑系统中给出了公式列按真度收敛的定义，研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质，给出了三种收敛各自的充分必要条件，在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。