查询词典 classical logic

There are positive logic and negative logic.

有正逻辑和负逻辑。

Have a look at these circuits: the pairs work in exactly the same way, except that one uses a positive logic and the other a negative 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.

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

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。