查询词典 disjunctive proposition

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

126 One can calculate whether a proposition belongs to logic, by calculating the logical properties of the symbol.

当我们"证明"一个逻辑命题时，就是这样做的。

If we are as the looker-on who just tell others how the corporate diversification decision is made in the above chapters, in the last chapter we come up with a proposition: what king of model of corporate diversification may have greater chance to succeed.

如果说在以上部分我们是以旁观者的身份来剖析公司多元化决策的过程的话，那么我们在本文的最后一章提出了一个具有规范性的命题：成功率比较高的公司多元化模式应该是怎么样的。

In this sense, we may very loosely equate the proposition of a sentence with its meaning.

在这一意义上，我们可以非常不严格地把句子的命题和它的意义等同起来。

We're not discussing a love match - it's a business proposition.

我们不是在谈论什么因爱结合-这是在提议一笔交易。

I'd like to offer you a lucrative proposition.

我有个赚钱的提议

However, as long as examining and analyzing American Constitution and Constitutionalism principle seriously, we can get a conclusion that the proposition of "Madisonian dilemma" is false, because true democracy itself contains freedom and equality.

然而，认真考察和分析美国宪法与宪政原意与原则理想，则会得出"麦迪逊之两难"命题不过是一个假命题的结论，因为真正的民主自身包含着自由平等原则。

However,as long as examining and analyzing American Constitution and Constitutionalism principle seriously,we can arrive at a conclsion that the proposition of"Madisonian dilemma"is false as true democracy itself contains freedom and equality.

然而，认真考察和分析美国宪法与宪政原意与原则理想，则会得出"麦迪逊之两难"命题不过是一个假命题的结论，因为真正的民主自身包含着自由平等原则。

Connectors are lines that can be anchored to particular places, called glue points , on the graphic object.

连接符，可固定在图形对象的特定的地方的线条。

Another way of putting it, too many agents have a say in each other's work, and bureaucratic rigor mortis sets in.

另一种表达是，太多的作用物在彼此的工作里都有话语权，官僚的僵尸开始抬头。