查询词典 predicate logic

The pneumatic logic is simple Boolean logic based on the sign of the position error.

气动力学的逻辑是简单的布尔逻辑根据位置误差的标志。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

The innovation of this paper is the presention of supporting logic zone, logic centrex, and physical /logical resource management in softswitch controller, and the paper points out corresponding solutions to problems encountered in implementation.

本论文的主要创新点在于提出了支持运营区域和工作组，支持逻辑资源/物理资源划分的软交换控制设备的设计，并针对实现中遇到的若干问题也给出了相应的解决方案。

Serial Data present at the input is transferred to the shift register on the logic 0 to logic 1 transition of the CLOCK input pulse.

在串行数据输入端转移到了移位寄存器的逻辑0到逻辑1的时钟输入脉冲过渡。

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

There exist two logics in biology teaching. One is the internal logic of this subject and the other is cognitional logic of students. Sometimes their consecution may be inconsistent.

摘 要 生物学教学中存在两个逻辑，一个是学科内在逻辑，另一个是学生认识逻辑，两个逻辑的顺序往往不尽一致。

This is on digital circuits ppt courseware, for combinational logic circuits and sequential logic circuits have stood out clear and thorough.

详细说明：这是关于数字电路的ppt课件，对于组合逻辑电路和时序逻辑电路都讲得比较清晰透彻。

Include:(1) Basic Principles,(2) Algorithmic Simplification Techniques,(3) Use modern design and development kits,(4) Combinational logic design,(5) Sequential Logic design.

课程内容包含：(1)基本原理，(2)简化逻辑技巧，(3)电脑辅助逻辑设计工具，(4)组合逻辑设计，(5)循序逻辑设计。

When I started coding, I had problems with the ASF file writer.

当我开始编码，我曾与ASF文件作家的问题。

I know that in one of the schools the boys have risen up in the classroom and enlisted in a mass.

如果你们也和他们一样，是集体自愿的话，你们的老师将是多么地光荣啊。