查询词典 propositional variable

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]悬疑不决，等等。

By means of infinite product of evenly distributed probability spaces,the concept of truth degrees of propositions in 3-valued logic systems W_3,G_3,Π_3 and S_3 are introduced,and some properties of distribution of propositional truth degree and certain inference rules are obtained.

利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则。

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.

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

The resource model of design knowledge representation is proposed based on propositional logic and Cartesion product.

这一模型概括了产品开发中所涉及的各种资源，是对现有知识表示技术的补充。

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。