查询词典 propositional 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.

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

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

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

In methodology,to such problems as follows attention should be paid:compling with the rules of dialectical logic,laying stress on the integration history with logic,insisting on the principle of distilling abstraction from concrete.

在方法论上，遵循辩证逻辑的要求，强调历史和逻辑的统一、从抽象上升到具体的原则。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

If in theonomy the concept of God is prior to logic, in rationalism logic is prior to theology.

如果在theonomy神的观念是前逻辑，在理性主义的逻辑是：前神学。

It has to be computed by the host for the actual clock rate.

主控制器可以用来计算实际的时钟速率。

Let's see what you got.

让我看看你的东西