1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 n值命题逻辑中公式列的收敛性.pdf

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

上传者: 2020-07-16 20:13:09上传 PDF文件 552.66KB 热度 13次
在[n]值[R0]命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。
下载地址
用户评论