... logic operation逻辑运算 propositional logic命题逻辑 sequential logic时序逻辑；顺序逻辑；循序逻辑 ...
基于1201个网页-相关网页
命题逻辑的外延性原理 extension principle of propositional logic
命题逻辑形式系统 FSPC
布尔命题逻辑 Boolean propositional logic
带相对等词的命题逻辑 PLRI
模糊命题逻辑 Fuzzy Propositional Logic
是常用的布尔命题逻辑 Boolean propositional logic ; BPL
二值命题逻辑 two-valued propositional logic
格值命题逻辑系统 lattice-valued propositional logic
My thesis built the theory of predicate logic on the basis of L* propositional logic.
本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。
参考来源 - L～*谓词逻辑与RBased on the truth degree of proposition logic theory,the problem of proposition reduction of two-valued proposition logic was disscused.
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。
参考来源 - 基于公式真度的公式集约简·2,447,543篇论文数据，部分数据来源于NoteExpress
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。 演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。形式文法（或语法）递归定义语言的表达式和合式公式（well-formed formula 经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个 wff 是有效的（也就是定理）。
应用推荐