真命题(true statement)是一种逻辑学术语。一般的,在数学中把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。命题真值只能取两个值:真或假。真对应判断正确,假对应判断错误。任何命题的真值都是唯一的,称真值为真的命题为真命题。
在引理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?
应用推荐