命题

And so our proposition is of infinite force, when there is the finite to stake in a game where there are equal risks of gain and of loss, and the infinite to gain.

所以在一场得失风险相当的赌博里，当付出的有限性和得到的无限性存在时，我们的命题就有无限的力量。

It's not really math itself that is incomplete, but any formal system that attempts to capture all the truths of mathematics in its finite set of axioms and rules.

它不是说数学本身是不完备的，而是针对任何某种尝试，试图把数学全部的真命题包括在一套有限的公理与法则里。

The paper"s conclusion is that the need and recognition of agriculture from a new socialism country are precondition of the appearance of the sculptures; the State"s attitude of how to increase the agriculture yield greatly affects the proposition of the sculptures; while the same international circumstance and political background unified the problem of nationalization of sculpture and the emphasize of agriculture foison from the state, they all having a great deal to do with the nice hope of the new state that it yearned for becoming more mightier and more independent.

通过考察，本文的结论是，一个社会主义新国家对农业的需求与重视是农展馆雕塑出现与产生的前提，国家对于提高农业产量方法与途径的认识直接关系到国家对农展馆雕塑的命题，而相同的国际环境和政治背景则使雕塑的"民族化"问题与国家对农业丰收的强调统一起来，它们都与一个新国家渴望迅速走向独立、富强的美好愿望有着密切联系。

Marx the propositional core of this one essence about the person is the mobile " with footloose ".

马克思这一有关人的本质的命题的核心是"自由安闲的活动"。

The classical proposition logic is the basis of modern formal logic.

经典命题逻辑是现代形式逻辑的基础。

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.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

This article also points out that"existence of squares","Out-In Complementary Principle","the principle of limit","Liu-Zu cross -section princeple","the area formula for rectangle and the volume formula for cuboid" determine the nature and lay the foundation of geometry in ancient China.

提出了我国古代论证几何所依据的原始命题，指出"存在正方形"连同"出入相补原理"、"极限原理"、"刘－祖截面原理"以及长方形面积公式和长方体体积公式确定了我国古代几何的性质，奠定了我国古代几何的基础。

Free composition as an exercise has its limitation.

作为练习的自由命题的作文有其局限性。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

You own me a French Kiss.

好深刻的命题"你怎么在我好友里"？

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。