查询词典 Boolean logic

Main products: 1: Japan OMRON (between relays, time relays, temperature controller, photoelectric switch, proximity switches, trip switches, programmable logic controller) 2: Korea LG motor (air switch, contactors, thermal relays, magnetic starter, programmable logic controller) 3: Japan's Fuji motor (air switch, contactor, thermal relay, temperature controller, time relay, inverter, programmable controller, button, indicator light) 4: Japan's Mitsubishi Electric (air switch, contactors, thermal relays, Inverter, programmable controllers, servo series) 5: Korea AUTONICS (Photoelectric switch, close to-day clearance, temperature controller) 6: Taiwan CKC (time relay, the water level controller, solid state relays, counters) I Division otherwise operating Siemens, Schneider, and Stephen, RKC, days too, Hanyoung brands, such as industrial automation components, category range.

1：日本OMRON（中间继电器，时间继电器，温控器，光电开关，接近开关，行程开关，可编程控制器）2：韩国LG电机(空气开关，接触器，热继电器，磁力起动器，可编程控制器)3：日本富士电机（空气开关，接触器，热继电器，温控器，时间继电器，变频器，可编程控制器，按钮，指示灯）4：日本三菱电机（空气开关，接触器，热继电器，变频器，可编程控制器，伺服系列）5：韩国AUTONICS（光电开关，接近天关，温控器）6：台湾CKC（时间继电器，水位控制器，固态继电器，计数器）我司另有经营西门子、施耐德、和泉、RKC、天得、韩荣等品牌的自动化工控元件，品类繁多。

Deontic logic established by Von Wright in 1950's is firstly named as logic about action name.

20世纪 5 0年代由冯赖特创建的道义逻辑，首先是作为行动名称的逻辑而建立的。

This deontic logic should be logic about normal propositions ra...

但是 ，在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑，而不是规范的逻辑，在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。

As far as Aristotle, philosophers have studied deontic logic, but the modern deontic logic began with GH.

从亚里士多德开始，哲学家们就开始对道义问题进行不断的探讨，但道义逻辑的最新发展则是从芬兰哲学家G.H。

Deontic logic is a new realm of philosophical 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.

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

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 。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。