查询词典 propositional

Among numerous propositional logic systems, Lukasiewicz、Godel、Product and L~* have obviously merits, which are exist triangle norm * in [0, 1] withthe semantic implication operator→construct adjoint pairs.

del、Product与L~*这四种有着明显的优点，即存在[0，1]上的三角模*与它们赋值格[0，1]上的语义蕴涵算子→构成伴随对。

In spite of is a propositional phrase used as an adverbial of concession.

同我们以前的计划一样，我们将把这一计划进行到。

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

An I -theory places substantive constraints on propositional attitude ascriptions. Beliefs, for instance, are ascribable only to creatures possessing a language, only to creatures capable of describing their own beliefs in a language translatable into our own.

一个I理论对命题态度的归给进行了"实质约束"，例如：信念，我们只能归给拥有语言的生物，只能归给能够（在那种可译为我们自己语言的语言中）描述它们自己的信念。

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

In combining with the deterministic propositional dynamic logic, the composable problem of the goal service is determined.

通过使用有限状态自动机，服务组成的社区中的状态和操作可以使用有限状态自动机来模拟，这样可以表示服务操作的内部和外部概要。

Conjunctive Normal Form Satisfiability: SAT solvers returns an assignment to the variables of a propositional formula that satisfies it if such an assignments exists.

合取范式可满足：周六解题的转让收益的变量的命题公式，满足，如果存在这样的任务。

Looking to bounce back from defeat against Cesena last weekend, the Calabrian boss will be sticking to his tried and tested 4-3-3, with Lopez and Sedivic joined up front in Giampaolo's absence by either Nanni or Plasmati.

鉴于上周末对切塞纳的比赛中反败为胜，这支南方球队将会更坚持其一贯而有效的4-3-3阵型，洛佩斯和塞德维奇将取代受伤缺席的詹保罗，和纳尼或者帕斯马蒂中的一个搭档锋线。

Meanwhile, their exposure to the more freewheeling ways of the West broadened dramatically.

另外，西方较自由的生活方式对年轻人的影响增大。