查询词典 affirmative proposition

465 The logical product of a tautology and a proposition says the same thing as the proposition.

4.465 一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。

If proposition 2 is true, then proposition 1 is false.

如果说命题二是真的，则证明了命题一是假的。

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.

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

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。