论文部分内容阅读
在hflcasiewiczn值命题逻辑系统中引人命题公式的一般真度概念并讨论其性质，说明一般真度满足Kolmogomv公理．在形式推演中，引进公式的不可靠度和前提的必要度概念，证明在Lukasiewiczn值逻辑系统中，一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和．通过不可靠度在全体公式集上建立逻辑伪距离空间，证明逻辑伪距离空间中没有孤立点，利用逻辑伪距离在全体公式集F（s）中提出两种不同形式的近似推理模式．