真命题

对于不真命题和不假命题，应该采取与对不真不假命题同样的态度。

To both propositions the same attitude should be taken .

不真命题与不假命题

Not True Thesis And Not False Thesis

按照经典理论，前件为假的条件句都是真命题！那么反事实条件句以其前件为假的身份被定义为真命题。

According to Classic Theory , a conditional sentence is true only if its antecedent is false .

罗素为解决休谟问题而提出归纳原则。金岳霖等人力图证明归纳原则是永真命题，但未对可能命题作出语义解释。

Other philosopher such as Jin Yulun tried hard to confirm that inductive principle was a tautology proposition , but didn 't give semantic interpretation for possible proposition .

另外，金岳霖区分了真命题的真不是真理的真，对于澄清真假问题的讨论大有裨益。

In addition , Mr. Kin to differentiate the truth of truth proposition is not the ultimate truth really beneficial for discussion to clarify the true and false questions .

传统科学观认为，科学是一项理性的事业，是一种独立于人的社会文化的、纯粹的理智活动，而知识是既成的、被证明为真的命题的集合。

The point of traditional scientific view was that : Science was a rational and pure intellectual activity which was independent of society and culture , while knowledge was the collection of propositions which were faited accompli and proved to be true .

除了具有悖论性质的“不真不假命题”，还存在着具有半悖论性质的“不真命题”和“不假命题”。

Apart from this proposition , there exist " not true proposition " and " not false proposition " of semi-semantic paradox .

要做到这一点，需要这样一个证明：存在一个不能被证明为“真”的命题（比如2+2=5）。

To do so , all that would be required would be a proof that there was a single proposition ( say , 2 + 2 = 5 ) which could not be proved true .

作为法律推理的小前提的真的事实命题必须（一）是有用的，即符合实体法律规范，对得出当事人是否应当承担刑事责任、民事责任或行政责任具有实质意义的事实命题；

The true factual proposition rendered as the minor of legal reasoning must first be " useful ": It is conforming to substantial legal norms and is substantially meaningful on judging whether the parties should take criminal , civil or administrative responsibility ;

指示要使系统有效而必须保持为真的条件和命题。

Denotes conditions and propositions that must be maintained as true for the system to be valid .

表示关系之间的一种语义关系，该语义关系指定了必须保持为真的条件和命题。

Represents a semantic relationship among relationships that specifies conditions and propositions that must be maintained as true .

这个命题的真或假不是这个命题构成中的不可分析项，就是说真值独立于命题中的构成。

This proposition is true or false is not the proposition composition can not be in the analysis , that is the true value is independent of composition proposition .

同义反复是从哲学借过来的一个术语，它所描述的是一个真值始终为真的命题。

Tautology is a term borrowed from philosophy , where it describes an argument in which the only possible truth condition is " true " .

某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。

Some propositions are true for any truth value of their variables . Such propositions are called tautology .