PROPOSITIONAL in Chinese translation

• 命题
• 命题式

Examples of using Propositional in English and their translations into Chinese

Axiom NOT-3 is called"tertium non datur"(Latin:"a third is not given") and reflects the semantic valuation of propositional formulas: a formula can have a truth-value of either true or false.
公理NOT-3叫做排中律（拉丁语tertiumnondatur：“排除第三者”）并反映了命题公式的语义求值：公式的真值要么是真要么是假。

In this sense, DT corresponds to the natural conditional proof inference rule which is part of the first version of propositional calculus introduced in this article.
在这个意义上，DT对应于自然条件证明推理规则，它是在本條目中提出的第二个例子的命题演算的一部分。

A{\displaystyle A} and B{\displaystyle B} denote formulae of first-order predicate logic(one may also restrict this to propositional logic).
A{\displaystyleA}和B{\displaystyleB}指示一阶谓词逻辑的公式（你也可以把它限制为命题逻辑），.

A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.
公式是句法，可以给出一个语义对象含义通过解释的方式。公式的两个关键用途是命题逻辑和谓词逻辑。

Deciding whether a propositional default theory has at least one extension is Σ 2 P{\displaystyle\Sigma_{2}^{P}}-complete;
扩展的存在性：决定一个命题缺省理论是否有至少一个扩展是NPNP{\displaystyleNP^{NP}}-完全的；.

The key property which follows from this definition is that bisimulations(hence also p-morphisms) of models preserve the satisfaction of all formulas, not only propositional variables.
从这个定义我们得到的关键性质是模型的双仿(所以也是p-态射)保持所有公式的满足性，而不只是命题变量。

(If the arity of P is 0, then Val(P) is simply a truth value, the P is regarded as a propositional symbol.).
如果P的元数为0，则Val(P)是一个简单的真值，P被认为是一个命题符号。

Propositional logic.
命题逻辑.

Propositional calculus.
命题逻辑.

Every propositional variable is a formula.
所有命题变量是公式。

Second, the necessity of propositional reasoning;
第二，命题推理的必要性；.

First, every propositional letter is a formula.
首先，每个命题字母是一个公式。

Propositional variables are the atomic formulas of propositional logic.
命题变量是命题逻辑的原子公式。

Where the symbols p, q and r are propositional variables.
在这些表达式中，p、q和r都是命题变量。

Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。

Any introductory book to modern logic will present propositional and first-order logic.
任何一本现代逻辑的入门书都将提出命题和一阶逻辑。

Stoicism denies anything immaterial and tries to explain the world through propositional logic.
斯多葛拒绝任何非物质的东西，并且试图使用命题逻辑解释这个世界。

A propositional variable can stand on its own as an atomic formula.
命题变数可以视自身为一原子公式。

Universal tautological(in propositional logic) All interpretations meet the formula.
普遍重言式（命题逻辑）所有解释都符合公式。

The hardness proof is trivial, as S5 includes the propositional logic.
难度证明是平凡的，因为S5包括命题逻辑。