查询词典 statement logic

A quantified logic of clarity and vagueness is developed, based on the pattern of the G delian system T of modal logic, a clarity operator replacing the necessity operator.

基于哥德尔模式的模态逻辑系统T，本文提出了一种关于清晰性和模糊性的量化逻辑，其中利用清晰性算子来代替必然性算子。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

If the differential input voltage Vab is greater than +200 mV the RECEIVER will have a specific LOGIC state on its OUTPUT terminal. If the input voltage is reversed to less than -200 mV the RECEIVER will create the opposite LOGIC state on its OUTPUT terminal.

如果有差分输入电压Vab 大于+200 mV，接收器的输出端将有一个明确的逻辑状态，反过来，如果输入电压小于-200 mV，接收器的输出端将产生相反逻辑状态。

Careful logic thinking ability, logic thinking structure and treat to the thing dispassion with analytical skill.?

缜密的逻辑思维能力、逻辑思维架构及对事物冷静看待和分析能力。

I am trying to use Chinese language to finish the doctorial disquisition of the logic form of the Tibetan logic.

经国内外因明学家的不懈努力，因明研究已步入了一个新的历史阶段。

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate.

ERCCL利用电容耦合进行逻辑求值，因此可以在一个门中低能耗地实现高扇入、高复杂度的逻辑。

While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

证明是一种形式逻辑的思维方式，论证是一种非形式逻辑的思维方式。

Kinds of dialectical logic and formal logic will be completely in opposition to the attitude is wrong.

那种将辩证逻辑与形式逻辑对立起来的态度是错误的。

The classical proposition logic is the basis of modern formal logic.

经典命题逻辑是现代形式逻辑的基础。

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.

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