查询词典 propositional logic

In the same time,from the view point of abstract algebra,the homomorphism between disturbing fuzzy logic operator group and class fuzzy logic operator group is studied.

从而使经典模糊逻辑的概念及性质得到进一步的推广，同时也揭示了在这种由一维到二维的推广中存在的问题。

The thesis will begin with the introduction of counterpart of English judicial review. According to the unscramble of counterpart prejudication in the history of Britain, I will abstract the logic category of "administrative discretion------the principle of reasonableness", and based on the logic category, I will point out that if want to justify the review of court on the administrative discretion such as "misuse of authority"and "apparently inequitable administrative punishment", we must induct the principle of reasonableness. And based on the material of concrete cases, I will analyze that there still are states of unreasonable execution of administrative discretion in the rest representations of unlawfulness in the 54th provision of our statute law of administrative litigation.

本文首先考察英国合理性审查原则的相关制度，通过解读英国历史上重要相关判例，提炼出"行政裁量权——合理性审查原则"这一逻辑规范范畴，并以此范畴为切入视角，指出，要在理论上正当化法院对"滥用职权"和"显失公正行政处罚"等行政裁量权的司法审查，必须引入合理性审查原则，并以具体案例为材料，通过分析得出，在《行政诉讼法》第54 条的其他违法表现形式中，都有行政裁量权不合理行使的情形存在，并指出，产生这种现象的原因是，《行政诉讼法》第54 条规定的七种违法表现形式采取的是不同的分类标准。

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

But for China's diplomacy, the tragic ending is probably losing own behavioral logic into American great-power logic to adopt America-like diplomatic policy, which is not alarmism.

但就中国外交而言，最悲惨的结局可能就是失去了自己的行为逻辑而陷入美国的大国逻辑，采用美国相仿的外交政策。

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

Many years of training in logic and scientific method can make us feel that logic and science are all-powerful.

多年的逻辑训练、科学教育，使我们以为逻辑与科学是无所不能的。

The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; logic almightiness; knowability paradox

第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；逻辑全能问题；可知性悖论

For Smith, Google's logic is the logic of appeasement.

对于SMITH来说，Google的逻辑就是妥协的逻辑。

The thesis makes a preliminary exploration of the necessary conditions for fuzzy logic systems as universal approximator for nonlinear function, which is an important theoretical problem of fuzzy logic systems.

这一研究的重要意义在于，我们是在一个统一的框架下来对模糊逻辑系统的这一理论问题进行研究的，是这一研究领域开创性成果。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。