命题

The thesis of quantifier should include the thesis of character.

量词命题应包括主项受各种数量限制的性质命题。

The paper is structured as follows: section 1 provides an introduction of practical background, research issues, related notion, research framework, research method and innovation points. Section 2 presents related literature review and comments. Section 3 focuses on the research on the factors of industrial environment and networking backgrounds which influencing dualistic-innovation of clustered firms, and puts forward the hypothesizes; Section 4 is the empirical research that inspect and verify the authenticity of hypothesis proposed in section 3; section 5 concentrates on research on coordination mechanism of dualistic-innovation for clustered firms; section 6 is another empirical research that exam the theoretical derivation of section 4; followed by section 7, the conclusion and suggestion for government policy and further research.

论文的主要内容如下：第一章是绪论，介绍研究的现实背景、研究问题、x相关概念、研究框架、研究方法和创新点等；第二章是对文章所涉及的创新领域研究文献的回顾与评述；第三章是网络视角的集群企业二元式创新的影响因素研究，分析影响集群企业二元式创新活动的产业环境和网络环境的关键因素及其作用机制，并提出相应的命题假设；第四章是对应的实证分析，检验上一章提出的二元式创新影响因素的命题假设成立与否；第五章是网络视角的集群企业二元式创新的协调方式研究，提出相应的协调模型和具体的运行机制；第六章同样是对应性的实证分析，检验集群企业二元式创新协调方式的理论推导；第七章是结论、建议与未来的研究展望。

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

Kant believed that all the possible propositions within Aristotle's syllogistic logic are equivalent to all possible judgments, and that all the logical operators within the propositions are equivalent to the moments of the understanding within judgments.

康德认为在亚里斯多德的演绎逻辑范围内的所有可能的命题就是所有可能的判断，这些命题中的所有逻辑运算符号都是判断中知性环节。

Kant believed that al l the possible propositions within Aristotle's syllogistic logic are equivalent to all possible judgments, and that all the logical operators within the propositions are e quivalent to the moments of the understanding within judgments.

康德认为在亚里斯多德的演绎逻辑范围内的所有可能的命题就是所有可能的判断，这些命题中的所有逻辑运算符号都是判断中知性环节。

The results indicated that:(1) There was a distinct difference in the same syllogistic inference(MP、DA、AC、MT)of three concrete propositions and in every concrete proposition s four syllogistic inferences(MP、DA、AC、MT).

结果表明：(1)对同一年级而言，不同内容的条件命题的相同推理(MP、MT、DA、AC)之间表现出显著的差异；对不同年级而言，相同内容的条件命题的四种推理之间也存在显著的差异。

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

An ungeneralized proposition can be tautological just as well as a generalized one.

非概括命题和概括命题一样，也可以是重言式的。

In the first case we call the proposition a tautology; in the second, a contradiction.

在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。

465 The logical product of a tautology and a proposition says the same thing as the proposition.

4.465 一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。

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.

也许他们将在壶穴里消失