命题

Finally, conclude by saying that Proposition 18 turns the congruent number problem into a problem purely about elliptic curves; decide if the rank of such curves is zero or not.

最后，作结论，表明命题18把同余数问题转化为纯粹椭圆曲线问题，并判别椭圆曲线的rank是不是为零。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

Conjunctive Normal Form Satisfiability: SAT solvers returns an assignment to the variables of a propositional formula that satisfies it if such an assignments exists.

合取范式可满足：周六解题的转让收益的变量的命题公式，满足，如果存在这样的任务。

Let us say that M is the conjunctive proposition expressed by my utterance of Moore's sentence.

让我们称M是这个Moore语句所表达的关联命题。

They presuppose that names have meaning and elementary propositions sense; and that is their connexion with the world.

它们假定名称具有指谓。基本命题具有意义，这就是它们同世界的联系。

1265 It is always possible to construe logic in such a way that every proposition is its own proof.

6.1265 对逻辑始终可以这样来理解：每个逻辑命题都是它自身的证明。

This looks like contradictory dilemma proposition, but in fact it is possible.

这看上去像是自相矛盾的两难命题，但事实上它是可能的。

When tracing back to ancient times and dreaming of future, we find two contrary propositions that meet and collide in Qingcheng Mountain.

追溯远古与发想未来，两个坐标相反的命题在青城山交汇碰撞。

From the paradox of origin of names in Genesis between "God giving" by the nature of objects and "Adam naming" at his sweet will, the controversy in Plato's dialogue On the Correctness of Names between the naturalism school and the conventionalism school, to the conflict between theoretical view of Humboldt and experimental view of Locke, it can be universally seen the human beings' perennial contributions towards this topic.

创世纪》中上帝赐名与亚当命名的冲突，古希腊自然论与规约论的争论，洪堡特唯理主义语言观与洛克经验主义语言观的较量，无不反映了人类对这一古老命题的孜孜追求。

As we have seen, the Conventionality Thesis implies that a rule of recognition is binding in S only if there is a social convention among officials to treat it as defining standards of official behavior.

我们已经知道，因袭命题主张，只有当社会S中的官员们中间存在着确定的官员行为标准的惯例时，社会S中的承认规则才具有约束力。

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.

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