propositional calculus
- propositional calculus的基本解释
-
-
[计] 命题演算
- 更多网络例句与propositional calculus相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The model for deductive theory is the propositional calculus.
演绎推理理论的模型是命题演算。
-
The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.
本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。
-
By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.
本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。
-
Elementary logic and Algebra Propositional calculus, quantifiers.
初等逻辑和代数命题演算，量词。
-
In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.
第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。
- 加载更多网络例句 (8)
- 更多网络解释与propositional calculus相关的网络解释 [注：此内容来源于网络，仅供参考]
-
propositional calculus：命题演算
关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,
-
propositional calculus：命题演算(又称"命题 辑
propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词
-
propositional calculus：命題統計
dicisign 命題記號 | propositional calculus 命題統計 | propositional attitude 命題態度
-
propositional calculus：命题演算Btu中国学习动力网
proposition 命题Btu中国学习动力网 | propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网
-
minimal propositional calculus：极小命题演算
minimal polynomial 极小多项式 | minimal propositional calculus 极小命题演算 | minimal solution 极小解
- 加载更多网络解释 (1)