查询词典 disjunctive proposition

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

After the war against Japan victory, Taiwan is heavy to return the landscape of China.After 1949, because of know to all of reason, Taiwan and Mainland are placed in disjunctive appearance.More than 50 in the last yearses, the politics, economy, culture, and society...etc.

抗日战争胜利后，台湾重归中国的版图。1949年后，由于众所周知的原因，台湾与祖国大陆处于分离的状态。50多年来，台湾的政治、经济、文化、社会等发生了巨大变化。

2The difficulty of disjunctive reasoning under uncertainty did not lie in the lack of the cognitive ability of complex computation, but it had high relations with the thinking styles ( including cognitive need and cognitive style).

2不确定情景下的析取推理困难的原因不在于复杂计算的认知能力的缺乏，而与思维风格(包括认知需求和认知风格)有着高相关。

If we took 'jade' to denote a disjunctive non-kind, we would take it to denote the disjunction of jadeite and nephrite, the two types of jade.

如果我们用"玉"指称一个析取的非类型东西，我们会指称"硬玉"和"软玉"的析取，玉的两类。

Illustration and introduction of language grammar, such as special questions, disjunctive questions, polysemy and homonymy, synonyms and antonyms, prefixes and suffixes etc.

配合介绍相应的语言点，如特殊疑问句、反意疑问句、同音不同义词、一词多义、同义词与反义词、前后缀等。

The objective of this paper is to evaluate various spatial interpolation methods, including ordinary Kriging, simple Kriging, lognormal Kriging, universal Kriging, disjunctive Kriging and inverse distance weighting interpolation for estimating soil surface Hg content with lognormal distribution, the linear and second-order polynomial trend, and t...

以分布类型为对数正态分布，同时具有一阶和二阶趋势效应的土壤重金属Hg为例，分别应用普通克立格法，简单克立格法，对数正态克立格法，泛克立格法，析取克立格法和距离反比权重法等 6种内插方法对其进行了估值，综合比较了各种内插方法的预测误差、统计特征值及插值结果分布图。

In this paper, firstly some theorems of fuzzy logic functions and the necessasy and sufficient condition of join-irreducible elements are proved secondly, the concept of relatively prime and join-irreducible elements and their conditions are established in principal disjunctive normal forms.

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的"互素并不可约元"的概念，以及建立了在主析取范式"互素并不可约元"的条件。

Because of the differences of the faults in active time and position, nearshore subaqueous fans are disjunctive on the plane and overlapped in vertical with the fan deltas.

受断层活动期次和横向活动差异的影响，近岸水下扇具有在平面上与扇三角洲间互出现，剖面上与扇三角洲相互叠置的特点。

Conformant Fast-Forward that handles certain goals is extended to a new system that can deal with uncertain goals, and the new planning system implemented is called Conformant-FF-d that can deal with disjunctive goals.

将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划，设计并实现了新的规划系统Conformant-FF-d.Conformant-FF-d的新功能主要包括：目标状态判断、可达性分析和启发函数。

Thus he listed Aristotle's system in four groups of three: quantity (universal, particular, singular), quality (affirmative, negative, infinite), relation (categorical, hypothetical, disjunctive) and modality (problematic, assertoric, apodeictic).

因此，康德以四个三元组列出了亚里斯多德的体系：量（普遍的、特殊的、具体的），质（肯定的、否定的、无限的），关系（绝对的、假设的、选言的），模态（或然的、实然的、必然的）。

Aquatic or marsh-growing fern allies; known to have existed since the Cenozoic; sometimes included in Lycopodiales.

生活于水中或湿地的蕨类；从新生代生存至今；有时归于石松目之中。

The engine was uprated from a 90hp Franklin to a 125hp Lycoming.

改良过的引擎是从90hp到125hp莱康明富兰克林。