查询词典 logic

On the basis of this discussions, the author gives the standard system of deontic logic which was created by Von Wright and abstracts the development from the classic system to the standard system of deontic logic.

真性模态和道义模态之间存在着类似和区别，在此基础上给出冯·赖特道义逻辑的经典系统，说明经典道义逻辑在向标准道义逻辑发展

Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;at the same time the negative concepts will have different understandings in the deontic system and some special action concepts in relation to the negative concepts will have some special meanings.

道义逻辑的经典系统是关于行动的逻辑。这种逻辑发展的新思路是在其系统中引入主体和场合概念；同时对正规逻辑的否定概念在道义系统中作了不同的理解；和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

This paper aims at analyzing the mechanisms of humor from the perspective of logic inspired from the interactional between executants and respondent, which is the starting point of this thesis. The analysis will concentrate on those humor productions in which different perceptions of the utterances results in the dislocation of logic.

本文以幽默话语中发话人和受话人的互动关系为出发点，从语言的逻辑性角度分析幽默语言的制笑机理，侧重分析言语事件中由于视角不同，造成逻辑错位及特定环境下语用联系的缺失而产生的幽默。

Extended logic programs without functions are introduced to represent the diverse access control policies, and the propagation depth and direction of privileges along the entity hierarchy can be constrained. After privilege conflicts are resolved according to the rules based on priority between different grantors and entities, semantics as answer sets of extended logic programs is attained.

采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述，限定权限传播的深度，利用不同的优先次序定义了多种消解冲突的规则，并给出了类似扩展逻辑程序的回答集语义解释。

The correctness of logic theory is one of the most important factors in relay protection. This paper validate the testing function of medium and low voltage line protection through the relay protection testing system based on virtual instrument developed by ourselves, so as to make the validation of the correctness of logic theory be independent of the relay protection devices'software and hardware.

保护逻辑原理的正确性是继电保护能可靠动作的重要因素之一，本文采用自行研制的基于虚拟仪器的继电保护测试系统对中低压线路保护测控功能进行了验证，确保保护逻辑原理的正误与微机继电保护装置软硬件无关。

All-Flash website and the production of similar html website, prior should be painted on paper restructuring plan, including : Terms of the theme, with what kind of elements, which elements need to repeat them use elements of the link between how elements of campaign what style of music, the entire site can be divided into several logic blocks, each logic block the link between how and whether you intend to use Flash construct the station or just doing their part of the preliminary site etc., should be considered within the scope.

制作全Flash网站和制作html网站类似，事先应先在纸上画出结构关系图，包括：网站的主题、要用什么样的元素、哪些元素需要重复使用、元素之间的联系、元素如何运动、用什么风格的音乐、整个网站可以分成几个逻辑块、各个逻辑块间的联系如何、以及你是否打算用Flash建构全站或是只用其做网站的前期部分等等，都应在考虑范围之内。

Mr.Jin Yuelin was one of the most famous Logicians in Our country,who had been engaged in the studying and teaching of logic for more than half a century. He had achieved great attainments and attributed a great deal to the development of logic in our country.

金岳霖先生是我国著名的逻辑学家，从事逻辑的教学和研究有半个多世纪，其造诣极深，论著颇丰，为我国的逻辑学发展作出了重大的贡献。

Chinese have been accustomed to dialectical logic,and it is necessary that the dialeltical logic will be described for logistic system by the logicians,and we shall apply the theory to education.

中国人从古到今使用的都是辩证逻辑，但还有必要把辩证逻辑用一套符号系统科学地刻画出来，并应用于教学。

From then on,logicians developed many ideas of many-valued logic based on different needs.This paper will recall the history process from the early thought of many-valued logic to its later development.

从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想，本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾。

The second and third part: The teaching material of traditional curriculum is a logic discipline of content knowledge system, and teaching is the sequential expansion to the teaching material's logic and learning is the process of accepting the content knowledge and the survival of the fittest of the academic credits.

其次，本文论证了传统课程教材是逻辑化编制的学科知识体系，教学是对于课程教材逻辑体系的展开，而学习成为了儿童被动接受知识的过程并通过学业成绩对儿童进行选拔性评价，从而保证了社会效率的原则。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐