n值命题逻辑系统中公式真度的进一步研究

首先计算了四个n值命题逻辑系统L*,Luk,Gd及Π中一个典型公式p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随n变化的情况。

命题逻辑中公式的成真程度问题研究

为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可能性的真度进行了分析,得到一些有规律的结果.

数理逻辑中的数值化方法

数理逻辑的本质是形式推理而不是数值计算,非此即彼式的严谨性是其特征,因而在一定意义下它是"两极化"的.比如,(1)一个逻辑理论或者是相容的,或者是不相容的,不存在"半相容的"理论.(2)"逻辑公式A是假设集T的推论"或者成立,或者不成立,说它近似成立是无意义的.(3)逻辑公式中有重言式和矛盾式,但没有0.8重言式.本文的目的在于为上述基本概念提供程度化的版本,并从而建立一种近似推理理论.