命题逻辑的永真公式的代换实例是谓词逻辑的永真公式
命题逻辑的永假公式的代换实例是谓词逻辑的永假式
（需要PPT私信加关注）
2021-08-11 14:09:12
7.42MB
本文在基本命题逻辑系统 ＭＴＬ中主要对理论的余零化子和结论的性质及其相互关系进行了.研究。首先，在 ＭＴＬ系统中给出了理论的余零化子的概念，讨论了理论的余零化子的一些基本性质；.其次，对 ＭＴＬ系统中理论的结论的性质进行了进一步研究；最后，讨论了 ＭＴＬ系统中理论的余零化子.和结论之间的相互关系。.
2021-02-26 18:07:57
262KB
1
人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树
附源代码与实验报告，仅供参考
2019-12-22 19:28:21
251KB
1