论文部分内容阅读
公式真度是反映其真确度的基本数值特征，由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量。以基本真度为基础，给出二值命题逻辑系统中公式基于前提信息的Г-真度概念，由此定义公式的Г-相似度和Г-伪距离；并给出Г-伪距离的真度表示式，以此为基础讨论了理论的基于前提信息Г的误差不大于ε的结论在逻辑运算下的基本性质，为研究基于前提信息的近似推理问题提供数值化工具和方法。