查询词典 identical proposition

If an elementary proposition is true, that means, at any rate, one more true elementary proposition.

如果有一个基本命题为真，那就意味着无论如何有多于一个的基本命题为真。

For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual.

例如，一个必然真命题，就是无论哪一个可能世界成为现实世界都会是真的命题。

0211 If they world had no substance, then whether a proposition had sense would depend on whether another proposition was true.

2.0211 假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。

0211 If the world had no substance, then whether a proposition had sense would depend on whether another proposition was true.

2.0211 如果世界没有实体，那么一个命题有无意义就要取决于另一个命题是不是真的了。

A formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

形式真理是断定形式命题具有普遍有效性或者满足关系的真实命题。

Their relation of satisfaction is that if a reasontyped concrete proposition is true, the corresponding statementtyped concrete proposition will be true.

追求形式真理，是逻辑科学特有的任务和使命，因而形式真理是逻辑科学基本的、核心的概念，是逻辑学存在和发展的惟一根据。

Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.

不仅如此，形式真理也是哲学真理论的研究对象，自然也就成为马克思主义真理观不能回避的研究领域。

Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。

If proposition 1 is true, then the change of aerostatic pressure mentioned in proposition 2 can not cause the contrary change in the pressure intensity in the charmber.

如果说命题一是真的，则第二命题所说的空气静压的高低变化就不能影响推力室内的压强进行相反的低、高变化！

And Kant is clear that no one can acquire insight into that proposition merely from attending to the concepts involved, and yet that it is known 'with complete apodictic certainty'.22 We can again understand what Kant means, by regarding the intended transcendental proof as a matter of discovering the presuppositions of having the situated thought that underpins the central proposition.

我们通过视所期待的先验证据为'发现用于巩固核心命题的the situated thought的预设'，我们能再次理解Kant的意指。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。