查询词典 predicate logic

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.

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

Pro Logic — manually selecting Pro Logic may be needed when listening to a conventional digital signal, as from a laserdisc player, which does not have an identifying "flag" to indicate whether it is simply stereo, or Dolby Surround encoded.

定向逻辑——在欣赏普通数字信号，如 CD 影碟机时，由于其本身没有鲜明的&旗帜&来表明它到底是立体声音频规格的还是 Dolby Surround 编码的，所以可能需要手动选择 Pro Logic 。

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.

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

This record system is the all digital system, the logic circuits integrate in the Complex Programmable Logic Device.The article uses CPLD technology to improve the system reliability ,also cuts costs and minishes power consumption.

本系统为全数字化系统，逻辑电路集成在可编程逻辑器件CPLD内，CPLD的使用可降低成本，减小功耗，最主要的是可大大提高系统的可靠性。

The quality of both red and white wine depends very much on the wine maker talent and on the quality of the grapes.

他的红酒和白酒的品质，根据酿造者的能力和葡萄的质量，各有差异。

No, I don't want to get drunk before my next match.

" "不，我不想让我的下一场比赛前喝醉了。