命题

To inquire into Being of art is to metaphysically contemplate on the ultimate source of art, from which all discussion of art could not slip away.

对艺术本体的追问是对艺术的终极根源进行形上依据的思考，这是任何艺术探讨都无法回避的问题，钱穆的艺术思考即是围绕这一艺术命题展开的。

In 1985,Regent Beryl Milburn produced a report blasting the University of Texas System adminitration for not encouraging women......

众所周知，出国考试没有所谓的"词汇大纲"，因为出国考试的命题者非常侧重对语言以及。。。。。。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

Since Modigliani and Miller (1958) in his groundbreaking thesis,"the capital structure and corporate value"said that in under ideal conditions the corporate value has nothing to do with corporate capital structure.

自从Modigliani and Miller(1958)在其开创性论文《资本结构与企业价值》中给出了理想条件下企业价值与资本结构无关的命题以来，公司资本结构一直是企业界、管理界和财务理论界研究的一个重要问题。

Most modern theory of capital structure is based on original study of Modigliani and Miller. In the paper "Capital and Corporate Values", they proposed that under the hypothesis of complete market, which was free of tax, the corporate value was equal to the weighted average of capital cost ,having nothing to do with the capital structure.

现代资本结构理论的奠基人Modigliani和Miller(1958)在其开创性文献《资本结构与企业价值》中提出了"在完全市场的假设条件下，如果无税，一个企业的加权平均资本成本就是企业价值，与企业的资本结构无关"的命题。

All of these propositions approve viewpoints about monopsony in the intermediated-goods market.

这些命题都证明了本文对于中间产品市场买方垄断现象的观点。

In the metaphysical thoughts about cosmology and ontology of Laozi, which are based on the "Tao", Tao's appearance lies in its original character, that is, the co-composing of"emptiness"and "reality". As matter, it is a moony shape, and between the"reality"and"emptiness". As itself,"Tao"is lonely, sequester, far-reaching and grandiose. Therefore, it can't be grasped through ours sense organs, can't be generalized by fixed concepts, and can't be stated by experiential propositions.

在《老子》以"无"为核心的"道"构建起来的关于宇宙论和本体论之"道"形上学思想中，"道"之显象在于其古始性质，即有无同构：作为物物者，它是恍惚之象，若有若无；作为其自身，它是寂寥幽冥之象，深远宏达，因此它为感官所不能把握，为既成概念所不能概括，为经验命题所不能陈述，而只能以"象"来显现。

We are dealing with something for which there is only one appropriate expression,'mysterium tremendum'.

帕斯卡在他的《沉思录》里面写了很多精彩的命题，成为宗教明辨的一大主力。

Can All the Special Negative Proposition Not Be Transposed?

所有特称否定命题都不能换位吗？

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。