查询词典 algebra of logic

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

A preliminary study is made on the logic inference and formal logic of Yuanjics,pointing out the importance of deductive logic in the disciplinal construction and development of Yuanjics.

对元极学逻辑推理与形式逻辑进行初步的研究。

On the one hand ,contemporary scholars carry on the method of morden scholars using the occidental traditional logic to research six chapters in Mo Zi ,on the other hand ,they rethink the research of logic of Moism since morden times and put forward to the method and direction of future research of the logic of Moism .

当代学者一方面继承了近代学者以西方传统逻辑为工具研究墨辩的方法；另一方面对近代以来的墨辩逻辑研究进行反思，并提出未来墨辩逻辑研究的方法和方向。

Therefore ,it is helpful to recognize the character of six chapters in Mo Zi and promote the new progress of the logic of Moism and Chinese logical history that review and summarize the research of logic of Moism in recent twenty years and explore the method of the contemporary scholars' research of logic of Moism .

因此，对近二十年国内墨辩逻辑研究进行回顾与总结、探究当代学者研究墨辩逻辑的方法，有助于认识墨辩的性质，对于推动墨辩逻辑和中国逻辑史研究的新进展具有重要意义。

The main body of this thesis consists of two parts . In part one ,the author make a review of the domestic research of logic of Moism in recent twenty years .In this part ,the author probe into names ,diction ,inference ,debate ,logic laws ,the character and historical position of logic of Moism .

第一部分是对近二十年国内墨辩逻辑研究的回顾，主要是从名、辞、说、辩、逻辑规律和墨辩逻辑的性质和历史地位等六个方面加以探讨。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Secondly, on the condition of understanding the PCI norm, we analyze the PCI time sequence and address configuration space etc. detailedly, design state machine for the simplifying logic, design the program using the VHDL hardware description language. Besides those,we complete the PCI interface design of simplifying logic and carry out the interface function of the PCI subequipment module on the condition of a 33 MHzs,32 bit width, supporting the transmition paroxysmally. Compared with the traditional PCI inteface which uses appropriative interface chip to carry out this function , it economizes the logic resources of the system, lowers cost, increases the flexibility of design.

其次，在了解PCI规范的前提下，深入地分析了PCI时序和地址配置空间等，设计了简化逻辑的状态机，并用VHDL硬件描述语言设计了程序，完成了简化逻辑的PCI接口设计在FPGA芯片内部的实现，达到了33MHz、32位数据宽度、支持猝发传输的PCI从设备模块的接口功能，与传统的使用PCI专用接口芯片来实现的PCI接口比较来看，更加节约了系统的逻辑资源，降低了成本，增加了设计的灵活性。

In order to achieve the above-mentioned objective, the first task will be dividing well the tier-level structure of the system, then reasonedly designs represent logic, business handling logic and data logic.

要实现上述目的，首要的任务便是划分好系统的层次结构，合理地设计表示逻辑、业务处理逻辑和数据逻辑。MVC模式就是一个很好的将表示、控制和业务处理相分离的解决方案。

It's not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

Its not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。