在引理15'的假设下，技术条件B是真命题。
Under the hypotheses of Lemma 15 ', technical condition B is true.
如果技术声明B是真命题,那么自然结论C也是真命题.
If Technical Statement B is true, then Natural Conclusion C is true.
这并不是同义反复的恒真命题，为什么不能有只能通过非科学方法发现的事物呢，又甚或有根本发现不了的事物？
That is no tautology. Why can't there be things only discoverable by non-scientific means, or not discoverable at all?
罗素为解决休谟问题而提出归纳原则。金岳霖等人力图证明归纳原则是永真命题，但未对可能命题作出语义解释。
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.
你们的论点完全正确，命题有真假，但是论点不能或真或假，论点只能有效或无效。
You're absolutely right statements, and propositions can be true or false but arguments can't be true or false, arguments can only be valid or invalid.
假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。
If they world had no substance, then whether a proposition had sense would depend on whether another proposition was true.
摘要逻辑实证主义认为形而上学表述的都是经验之外的命题，由于它们无法被证实真与假，所以根本就没有意义。
Logical positivism thinks that metaphysical propositions beyond experience cannot be verified as truth or falsehood so that they are meaningless at all.
逻辑实证主义认为形而上学表述的都是经验之外的命题，由于它们无法被证实真与假，所以根本就没有意义。
Logical positivism thinks that metaphysical propositions beyond experience cannot be verified as truth or falsehood, so that they are meaningless at all.
无论是中国教育史还是外国教育史，知识点都非常繁多又细致，但从这几年的真题也可以看出某些命题规律。
No matter be, the foreign country is taught history, intellectual dot is very various meticulous, but also can see certain and propositional pattern from true subject of these a few years.
不幸的是，线程安全并不是一个非真即假的命题，它的定义出人意料的困难。
Unfortunately, thread safety is not an all - or - nothing proposition, and it is surprisingly difficult to define.
在数学中，含有三个命题的一类逻辑陈述。当两个前提为真时，结论为真。
In mathematics a logical statement that involves three propositions: the major premise minor pre-mise and conclusion. the conclusion is necessarily being true if the premises are true.
某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
Some propositions are true for any truth value of their variables. Such propositions are called tautology.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。
Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.
本文着重介绍他在量子力学和广义相对论交叉处的一些物理命题，如黑洞、真子、量子泡沫等。
This issue will concentrate on his some physical propositions at the intercross field of quantum physics and general relativity such as black holes, geons an…
本文着重介绍他在量子力学和广义相对论交叉处的一些物理命题，如黑洞、真子、量子泡沫等。
This issue will concentrate on his some physical propositions at the intercross field of quantum physics and general relativity such as black holes, geons and quantum fo…
如上面的例子所示，线程安全性不是一个非真即假的命题。
Object for the duration of the iteration. as the above example shows, thread safety is not all - or - nothing. the methods of.
0211假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。
0211 if they world had no substance, then whether a proposition had sense would depend on whether another proposition was true.
语义悖论是无论假设其真还是假设其假都不能成立的命题 ，就此意义而言 ，可称之为“不真不假命题”。
Semantic paradox is not a tenable proposition, no matter its hypothesis is true or not, from this point of view, it can be called " neutral proposition".
语义悖论是无论假设其真还是假设其假都不能成立的命题 ，就此意义而言 ，可称之为“不真不假命题”。
Semantic paradox is not a tenable proposition, no matter its hypothesis is true or not, from this point of view, it can be called " neutral proposition".
应用推荐