查询词典 propositional calculus

And obviously p,q/r is not valid according to the canons of propositional logic.

两个论证都必须简单地符号化为p，q/r，因为他们每一个都只包含有三个不同的非复合句子，并且很明显p，q/r的形式按照命题逻辑的原则不是有效的。

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中建立相对于有限理论的近似推理框架奠定了基础。

I want, on the one hand, to explain what the general propositional form is by analyzing "logical constants"; on the other hand, to reveal the tautological character of the logical proposition.

逻辑形式是命题摹绘实在而必须与实在共同具有的东西，也就是实在的形式。

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。