查询词典 propositional inference

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 rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算，量词。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切