查询词典 statement logic

If the true ("1") level is the most positiv e voltage, this logic is referred to as positive true or positive logic.

如果真("1")电平是高的正电压，则此逻辑称为正逻辑。

With regards to the CE function, as well as the positive logic XC62GR series, a negative logic XC62GP series is also available.

就学校的CE功能，以及正逻辑XC62GR系列，负逻辑XC62GP系列也可用。

Though the logic positivism has already declined day by day as a genre of contemporary western philosophy of science,but the view about drawing a clear demarcation between science and humane studies and the basic science view of logic positive still has heavy influence very so far,it is even still deep-rooted in the heads of some people.

虽然逻辑实证主义作为当代西方科学哲学的一个流派已经日趋衰落，但是，逻辑实证主义对科学的根本看法和关于科学和人文两个世界的截然划分等观念至今仍有很大的影响，甚至在某些人的头脑中根深蒂固。

The constitutionalism is based on a public sphere with negative law as rule, so that it transforms the allocation of the modern political value logically, i.e. traditionally ,only the reasonable value is legitimate, whereas in the constitutionalism, only the legitimate value is reasonable. In other words, it has changed the standard of value from the former positive logic, based on the moralization of human nature, to the negative one, based on the legalization of human nature. Rawls and Hayek demonstrate this logic conversion from different ways separately.

由于宪政的法律制度预设的乃是一个否定性的以法律为尺规的公共领域，因此就把近现代有关政治价值的定位从逻辑上进行了一番改造，即传统政治价值形态那里所表述的是，只有合理的价值才是合法的，而宪政的法律制度则反过来表述为，只有合法的价值才是合理的，或者说，它把价值标准从过去那种以人的本性的道义化为基础的肯定性逻辑，转变为以人的本性的合法性为基础的否定性逻辑。

The structure and process in PI is similarly to deduction in logic. But PI has much richer structures than predicate calculus. It is a complex of logic and psychology.

PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。

This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.

这是在限定逻辑，也称谓词逻辑中你首先要明白的。

My thesis built the theory of predicate logic on the basis of L* propositional logic.

本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.

而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。