查询词典 alternative proposition

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.

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

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.

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

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。