查询词典 disjunctive proposition

In general, when a given predicate P, x1, x2,..., xn is the object variables, P (x1, x2,..., xn) is not a proposition, because he can not determine the true value, in order to make it a proposition , use the constant instead of nn-object object variables ...

一般来说，当谓词 P给定， x1，x2，…，xn是客体变元，P(x1，x2，…，xn)不是一个命题，因为他的真值无法确定，要想使它成为命题，要用n个客体常项代替n个客体变元。。。。

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

These pieces may be derived from Qiu Xiaofei's memory, but the connection to history is more disjunctive than mimetic; indeed, the artist's remembrances bear a dauntingly complex relationship to the reproduction of either the real or the imagined image.

这些图像可能来源于仇晓飞的回忆，但它同历史的联系不只是模仿；而更多个性化地改写。事实上，在这个展览中，艺术家的回忆所面对是更加复杂的艺术争论，即他的艺术是再现现实还是制造那些想象中的图像。

Disjunctive kriging is in the middle of the two,which uses bivariate probability distribution function.

线性地质统计学最先运用在矿藏估计中，如今已经在各个领域中广泛应用。

Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

以及双枝模糊逻辑的析取范式与合取范式。

Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non-empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多属性约简算法都是由构造决策表的差别矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non－empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多约简算法都是由构造决策表的区分矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

This, the only reasonable conception, finds its Scriptural verification in the fact, that St. Paul (1 Corinthians 11:27, 29) attaches the same guilt "of the body and the blood of the Lord" to the unworthy "eating or drinking", understood in a disjunctive sense, as he does to "eating and drinking", understood in a copulative sense.

对此，唯一合理的概念，认定其圣经核查事实，即圣保禄（哥林多前书11：27 ， 29 ）重视同罪责"的身体和血液中的上帝"，到卑微的"吃或喝"，相互理解，在一个转折意义上说，就要像他那样，以"大吃大喝"，相互理解，在一个并列常识。

So it was last week in Selma , alabama.

上星期在亚拉巴马州塞尔马市发生的事件也是这样一个转折点。

The group also spearheads various social programs in China.

该组织还带头参与中国的各种社会活动。