查询词典 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.

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

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

The foundation education is changed direction the basic purpose of"education for all-round development" by"should try an education" to want intelligence at the child to develop a stage to come out their intelligences development with maximum limit, but the high school logic learn teaching to the foundation educate in of the intelligence development has important influence decision a function, so, as soon as possible become is suitable for high school logic in Yunnan to learn the school of teaching this a course to become each high school logic to learn the problem that the worker should value.

基础教育由&应试教育&转向&素质教育&根本目的是要在儿童智力发展阶段最大限度地把他们的智能开发出来，而高校逻辑学教学对基础教育中的智能开发有重要的影响决定作用，所以，尽快形成适合云南高校逻辑学教学的校本课程成为每一个高校逻辑学工作者应该重视的问题。

Fuzzy logic can deal with values between 0 and 1 is more analogous to human logic than the traditional binary logic of digital computers.

模糊逻辑可处理0与1间的数值；与传统的数字电脑的二进制逻辑比较，它更似人脑的逻辑推理。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

In this paper, the requirement analysis, design and implementation of the system are introduced in detail.

此论文详细介绍了系统的需求分析，系统设计和具体实现。

In the context of economic globalization is increasingly deepening, China's economy can not be spared.

在经济全球化日益加深的背景下，中国经济不可能做到独善其身。