查询词典 propositional
- 与 propositional 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
And obviously p,q/r is not valid according to the canons of propositional logic.
两个论证都必须简单地符号化为p，q/r，因为他们每一个都只包含有三个不同的非复合句子，并且很明显p，q/r的形式按照命题逻辑的原则不是有效的。
-
A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。
-
Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.
包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。
-
Early in 1952 Rosser and Turquette proposed the idea of distinguishing reliabilities of formulas in the propositional logic, and this idea was discussed and developed by many scholars from different points of view.
关于区分命题逻辑中公式可靠程度的思想早在1952年就由Rosser与Turequtte提出，多年来许多学者从不同的角度提出了确定这类公式真确程度的方法。
-
After the integrated semantic theory, Professor Wang Guojun proposed the theory of truth degree of formulas in two-valued propositional logic.
建立了积分语义学之后，王国俊教授在经典的二值命题逻辑中建立了命题的真度理论。
-
53 The general propositional form is a variable.
4.53 一般的命题形式是变项。
-
127 The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.
4.127 命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。
-
constant ; propositional variable ; generalized literal ;α-resolution field
文献[1]中给出的α-归结方法，是一种半可判定算法，能够归结出一类格值
-
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中建立相对于有限理论的近似推理框架奠定了基础。
-
By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.
特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
- 推荐网络例句
-
Liapunov—Schmidt method is one of the most important method in the bifurcation theory.
Liapunov—Schmidt方法是分叉理论的最重要方法之一。
-
Be courteous -- even when people are most discourteous to you .
要有礼貌──即使当別人对你最不礼貌的时候。
-
I think we have to be very careful in answering these questions, because nothing is really so simple.
我认为，我们在回答这些问题的时候应该非常谨慎，因为事情远没有那么简单。