·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
In the knowledge implication propositional logic system which build on this strategy, 1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中:1。
Furthermore, it presents a creditability problem about theorem proof in propositional logic.
也引申出命题逻辑定理证明的一个可信性问题。
应用推荐