... 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 区间值模糊命题逻辑
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.
也引申出命题逻辑定理证明的一个可信性问题。
应用推荐