... logic operation逻辑运算 propositional logic命题逻辑 sequential logic时序逻辑；顺序逻辑；循序逻辑 ...
基于1202个网页-相关网页
formula of propositional logic 命题逻辑公式
extension principle of propositional logic 命题逻辑的外延性原理
Boolean propositional logic 布尔命题逻辑
Fuzzy Propositional Logic 模糊命题逻辑
interval-valued fuzzy propositional logic 区间值模糊命题逻辑
two-valued propositional logic 二值命题逻辑
boolean algebra of propositional logic 命题逻辑布尔代数
lattice-valued propositional logic 格值命题逻辑系统
·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
应用推荐