查询词典 disjunctive

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 ）重视同罪责"的身体和血液中的上帝"，到卑微的"吃或喝"，相互理解，在一个转折意义上说，就要像他那样，以"大吃大喝"，相互理解，在一个并列常识。

To tackle this problem, a novel Complete Disjunctive Normal Form algorithm was presented to check the satisfiabilities of acyclic ALCN-concepts.

为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式算法。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Therefore,taking the disjunctive proposition as the prerequisite can attain the new by inferring from the known.

物理学在实际测出电磁波往返于月地间的时间之前，早就确定这个命题"若A则B"为

The disjunctive proposition has two aspects of independence of two important cornerstones for logic inference.

需用到下述充分条件假言命题：若电磁波往返于月地间的时间为x秒A(x，则月地距离为x/2×30万公里B

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

The non-typical semantic presupposition of yes-no question and affirmative-negative question is usually an exclusive disjunctive proposition.

是非疑问句和正反疑问句的预设通常是一个不相容选言命题；选择疑问句的预设，一般是一个不相容选言命题，有时则是一个相容选言命题；特指疑问句的预设，通常就是用"有X或某X"取代问句中的疑问词后所得的陈述句。

Compound proposition ; disjunctive proposition ; truth function ; proposition connectives

复合命题；选言命题；真值函项；命题联结词

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。