查询词典 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.

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

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。