命题

That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.

关于复合命题A→B本身的真值，传统逻辑中是由其支命题A、B的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

Note that when p is true and q is flase, the original conditional statement is false.,but the converse and the inverse are both true.

在一个条件语言里我们了解到了两个等价的命题，等价命题就是在命题变元任何指派下具有相同的真值。

Physics concepts, theorems as well as principles are primary content of physics learning, those knowledge take on the forms by proposition . In chapter 3, the study revealed that physics proposition are mainly obtained by reasoning (inductive reasoning such as tallying method, differentiation method and covariant method, deductive reasoning such as negative expression of hypothetical inference, affirmative expression of hypothetical inference ).Then by the means of experiment, the different condition needed when applying those reasoning was explored.

由于定义性概念、定理和定律等命题知识是物理教学的主要内容，所以在第三章中首先通过研究，表明物理命题主要是运用推理策略获得的(归纳推理策略中的求同策略、差异策略和共变策略，演绎推理策略)；然后通过实验等方法研究使用策略需要的条件；最后依据前面的研究提出适合物理命题学习的任务分析方法。

Firstly,it reviews the history of aesthetic disinterestedness.

论文以三个命题阐述康德美学与中国现代美学的内在关联：首先，回溯审美无利害的历史，结合中国传统美学，从审美态度、艺术独立的角度阐明审美无利害命题的重要作用，审美无利害性既奠定了现代美学学术的独立性，又揭示出现代美学的基本性质与特征；其次，诠释康德美学中的审美自由概念，在现代美学的语境中阐释了"美是道德的象征"的命题，同时阐明审美游戏与美育的自由特征，审美自由显示出现代美学的超越精神和乌托邦精神；第三，艺术的人生观或者人生的艺术化将艺术与人生紧密地联系起来，审美人生展示出现代美学的审美理想，成为现代美学的价值归宿。

In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition.

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。

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

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

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

Results showed that the teaching assumption is supported by this study. Guided discovery and peer discussion are effective instruction strategies for symbolizing a proposition and finding symbolic rule of equivalence relation of dual propositions.

教学过程的观察记录显示在教师的导引与学生的小组讨论下，学生确可发现对偶命题等价并符号化，而在求等价命题的问题上，将原命题符号化再辅以符号规则是成功的关键步骤，教学假设获得支持。

The author makes a new exploration about such problems as the Chinese expression and its classification, the basis of true or false judgment, the equivalent expression of the negative proposition of the hypothetical judgment under necessary conditions and the anti-syllogism under the condition that the proposition is used as the premise.

就必要条件假言命题的汉语表达式及其分类、判定真假依据、负命题的等值式，以及以此类命题作前提的反三段论等问题，作出了全新的探讨。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失