经典命题逻辑中的近似推理与强近似推理

论文简介

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

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。