命题

They stigmatize these propositions as ' stifling '.

他们把这些命题贬称"琐碎"。

The methodology is guaranteed by the credibility of information, the matching extent of patterns, the rationality of hypotheses, the stringency of the research process and the reliability of testing.

通过资料获取的可信性、模式匹配的程度、命题建立的合理性、研究过程的严谨性和可靠性检验保证案例研究的科学性。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

These two positions are not separated into a subject-object dichotomy, but rather rest on the same plane of active passivity.

这两个命题不是将之分成"主语"与"对象"，而是被共同放置在"积极的被动"这一层面。

In"Sui Hantang Notes on Poetry",Zhang Jie not only proposed such as"expressing aspirations is oriented, chanting things is modified"as well as"the affection outbreaks in surge after it is superabound"and so on famous propositions, and also from the language of poetry to the contents have raised their own aesthetic requirements and views.

在《岁寒堂诗话》中，张戒不仅提出了诸如"言志为本，咏物为工"、"情意有余，汹涌而后发者也"等著名命题，而且对诗歌从语言到内容都提出了自己的审美要求与见解。

This article attempts to start with the systematicness of Zhang Jie's poetry esthetics thought, discusses his poetry esthetics thought thoroughly regarding the poetry esthetic creation stage, the poetry accepts the stage. And in this process, more thorough discusses him such as"expressing aspirations is oriented, chanting things is modified"and"the affection outbreaks in surge after it is superabound"as well as"cogency"and so on extremely theoretical value propositions.

本文试图从张戒诗歌美学思想的系统性入手，深入探讨他对于诗歌审美创造阶段、诗歌审美接受阶段以及诗歌审美风格形成阶段的诗歌美学思想，并在探讨其诗歌美学思想系统性的过程中，较为深入的分析他的诸如"言志为本，咏物为工"、"情意有余，汹涌而后发者也"、"中的"等极具理论价值的命题。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

Atom propositions are the basic unit of symbolic logic.

原子命题是数理逻辑研究的基本单位。

It emphasizes that only by going from the theory of social individual's growing-up, which is constructed by this essay's author himself, integrating organically the diachronical dimension with synchronical dimension related to the studies of translation, and so dealing with the relationships among translational artistry, translational ideal, and translational criteria appropriately, can we recognize the criteria of translation and their courses of growing-up properly, and so do enhance our levels of translation studies gradually through locating the role of these criteria of translation rightly.

显然，这是一个有待进一步证明的命题，而且在这里不行能举行这样的证明，只能有待于未来的机遇；但我们仍然可以说，今世西方语言学领域的、为国内语言学研究界所珍视和引用的绝大多数理论，基础上都以这种哲学传统态度和要领论视角为基础，而不是议决扬弃它们而举行崭新的研究才得出其结论的。

In the research field of culture history, it is an importantsubject on communication and syncretism of variant cultures.

在文化史的研究领域中，异体文化因子的交流和融合是一个重要命题。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。