逻辑

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

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

Such a system may satisfy legal issues better than any traditional deontic logic systems.

它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。

Deontic logic is a new realm of philosophical logic.

道义逻辑是逻辑学研究的新领域，二元道义系统的提出时间更短，因此，国内的逻辑研究者对之较为陌生。

This shows that it is only when we construct deontic logic systems on thebase of paraconsistent relevancelogic that we can discard these doubtful formulaewhile absorbing the merits of C〓G'.

这表明只有在相干弗协调逻辑的基础上构造道义逻辑才有可能在吸取了CnMG＇的优点的同时又将这些可疑的公式去除。

The paradox in this article just means that the conclusion drawn from certain theorem of deontic logic does not accord with people's direct or common sense or habitual understanding, not means what we generally called, which would lead to contradictions in logical system.

文中所说的&悖论&，只是指由道义逻辑中的某个定理推出的结论，与人们在直观上或常识上或习惯上的理解是不相符的，也不是通常说的那种会导致逻辑系统产生矛盾的悖论。

Aristotle established a logically consistent system of eudemonism, with the understanding of human nature as the logical starting point.

亚里士多德建立了一个逻辑自洽的幸福论体系，这样一个理论体系是以对人的本质的理解为逻辑起点的。

When gate is unselected, channel of TFT will be closed.

他预测东芝、NEC和索尼可能会合并形成一家逻辑芯片公司，另一家逻辑芯片厂商是瑞萨科技、富士通和松下合并的产物，可能的内存合资企业包括Elpida、东芝和Spansion。

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.

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

Him concern of advantage of horse of battlefield Trojan unconscious elder brother can be immersed in worry logistic proposition in, looked for an excuse to plead, he says to Qiu Jier:"Premier gentleman, you know, have a such adage:' understand and kiss can produce light thin bamboo strip ' perhaps I study logic the more, meet more despise it."

战场勇士蒙哥马利担心自己会陷入纠缠不清的逻辑命题中，在阿拉曼战役之前夕，丘吉尔召见了他的得力将领蒙哥马利将军。在谈话中，丘吉尔提议他应该研究一下逻辑。

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.

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

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。