论文部分内容阅读
基于命题逻辑公式之间相似度的概念，在经典命题逻辑系统中提出了两种近似推理模式，得到了它们的一些基本性质。讨论了这两种椎理模式与经典推理模式之间的关系。此外，当理论(P)有限时，本文分别拾出(P)在α程度上近似推出公式A和理论Σ的充要条件。最后，我们拾出公式A与有限理论(P)的结论亲D(P)之间距离的计算公式。