- 更多网络例句与命题演算相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.
本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。
-
Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.
有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。
-
To the predicate calculus on Intuitionistic Fuzzy Logic, a symmetric synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed on the basis of the hypothesis of an equilibrium state of supportability and opposability of neutral evidences indicated in the intuitionistic index. The fundamental operation rules on IFL propositions are presented.
摘要针对直觉模糊逻辑及命题演算，基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设，提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法，给出直觉模糊逻辑命题的运算规则。
-
In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.
1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。
-
In the field of propositional logic in computer logic, the Logic Equivalent of propositional is fundermental.
在逻辑语言的命题演算中，命题式的等价是一个基础性的问题，在判定命题式等价问题中，真值表示比较常用的一个方式。
-
This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.
本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。
-
By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.
特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
-
Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。
-
Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.
命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。
-
Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.
也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。
- 更多网络解释与命题演算相关的网络解释 [注：此内容来源于网络，仅供参考]
-
minimal propositional calculus：极小命题演算
minimal polynomial 极小多项式 | minimal propositional calculus 极小命题演算 | minimal solution 极小解
-
predicate calculus：谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
propositional calculus：命题演算
关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,
-
propositional calculus：命题演算(又称"命题 辑
propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词
-
propositional calculus：命题演算Btu中国学习动力网
proposition 命题Btu中国学习动力网 | propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网
-
partial propositional calculus：部分命题演算
部分[乘]积 partial products | 部分命题演算 partial propositional calculus | 部分商 partial quotient
-
propositional connective：命题 结词
propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词 | propositional constant 命题常元,命题常项
-
propositional function：命题函词;命题函数
命题演算 propositional calculus | 命题函词;命题函数 propositional function | 命题推演 propositional inference
-
sentential calculus：命题演算
sentence 命题 | sentential calculus 命题演算 | sentential connective 命题联结词
-
sentential calculus：命题演算;语句演算
命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable