查询词典 propositional variable

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.

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

Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.

通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。

For the value of n given 4m-3,the author uses the propositional transformation,the counterevidence and one-to-one correspondence between variables and the value of the functionso to prove the validity of Erds conjecture.

对于n为4m-3形的奇数，文章采用命题转化法及反证法，并用自变量与函数值的一一对应关系证明了Erd■猜想成立。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

Coherence, derivable from relevance, is divided into two kinds: the coherence of propositional content and the coherence of contextual effect.

连贯是关联的一个派生概念，分为两类：命题内容的连贯和语境效果的连贯。

The first is propositional knowledge about natural phenomena and their regularities, e.g., the law of gravity and the germ theory of disease.

第一类是关于自然和它们的运动规律的命题性的知识，比如万有引力定律和疾病的病菌理论。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。