真命题
- True proposition;true statement
-
对于不真命题和不假命题,应该采取与对不真不假命题同样的态度。
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 .