查询词典 propositional

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.

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

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]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Tall 3 physics review the option that experienced exercise in school work says in the process, need is opposite considering the university entrance exam what the requirement of intellectual content and ability, propositional characteristic and place education are born is actual wait for an element, title of in an attempt to has specific aim.

高三物理复习过程中讲练习题的选择，需要考虑到高考对知识内容和能力的要求、命题特征和所教学生的实际等因素，以求题目有针对性。

Marx the propositional core of this one essence about the person is the mobile " with footloose ".

马克思这一有关人的本质的命题的核心是"自由安闲的活动"。

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

On the basis of the analysis, the paper proposes a 3-level semantic-pragmatic system for the UFP: Level 1--- Core Properties:[1] Necessity to Look Back for Contrast and [2] Demand for Continuation; Level 2--- Functions:"Primary"--- [3] Interrogation, [4] Reminding, and [5] Topic Marking "Secondary"---[6] Truncated Question and [7] Intense Inquiry Level 3---Interpretations:(through propositional content and context) [8] Idea Development, [9] Puzzlement, [10] Unchanged State, [11] Uncertainty, [12] Inconclusiveness, etc.

准此，本文为"呢"建构出一个包含3个层面的语义-语用架构如下：第一层面基本特征：[1] 在先前的语境中寻求对比，[2] 要求继续对话；第二层面延伸功能："主要功能"：[3] 疑问语气，[4] 提醒，[5] 话题标记"次要功能"，[6] 省略问句，[7] 深究；第三层面情景解释：[8] 意念扩展，[9] 疑惑不解，[10] 未变状态，[11] 不能确定，[12]悬疑不决，等等。

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.

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