propositional logic [数] [计] 命题逻辑
formula of propositional logic 命题逻辑公式
extension principle of propositional logic 命题逻辑的外延性原理
Boolean propositional logic 布尔命题逻辑 ; 是常用的布尔命题逻辑
Fuzzy Propositional Logic 模糊命题逻辑
interval-valued fuzzy propositional logic 区间值模糊命题逻辑
·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.
也引申出命题逻辑定理证明的一个可信性问题。
应用推荐