There is a compelling logic to his main theory.

他的主要含令人信服的逻辑推。

Logic is definitely not his strong suit.

逻辑推绝对不是他的强项。

There is an alliance between logic and metaphysics.

逻辑与形而上学之间有类似之处。

At this point your logic is at fault.

在这一点上你的推是错误的。

At this point our logic was at fault.

在这一点上, 我们推的方法是错误的。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。

When in doubt, parenthesize expressions to force the grouping that the logic of your program requires.

如果有怀疑，则在表达式上按程序逻辑要求使用圆号强制操作数的组合。

This thesis makes an exposition of the mathematics logicism thought of Russell ,the great mathematician and logician in phytogeny of logic.

本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。

As base thinking mode, philosophy offers logic base in the theory for education.Philosophy affects education in the cognitive frame and worth appulse.

哲学作为基底的思维方式，为教育提供了上的逻辑支撑点，表现为从认知框架和价值趋向两方面对教育产生的影响。

The logic analysis of anti-reality hypothesis compound sentence is to reveal its hidden logic thinking modalities which are different reasoning,counterevidence and figurative reasoning.

对反事实假设复句的逻辑分析就是要揭示出所涵的逻辑思维形式,即差异推(求异法)、反证法和比喻推。

In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.

为了彻底坚持其反实在的哲学立场，达米特拒斥二值原则，把直觉主义逻辑作为其形而上学的基础。

It describes the designing, logic circuit, working principle and adjustment of the pneumatic rubber plate logic control system attached to the horizontal multiple-hollow-chisel mortiser.

详细阐明卧式多头打眼机气动膜片逻辑控制系统的设计,逻辑线路,工作原及其调试。

Nothing was more calculated to annoy Halidome than to tell him he was"begging the question", for he prided himself on being strong in logic.

没有比说他“以假定作为据进行诡辨”更能使赫利多姆生气的事了，因为他惯以逻辑强为自豪。

See also deontic logic, modal logic.

亦请参阅deontic logic、modal logic。

This circuit is of Independence and perfectibility hence can be used to fabricate Deka-Value logic systems and implement any Deka-Value combinatorial logic and temporal logic.

十值T门在构成十值逻辑系统时具有独立的完备性，们可用于实现任何十值组合逻辑和时序逻辑。

This is the seat of logic, analysis, verbal reasoning and the kinds of thoughts--Maybe I should just kind of squinch over a little more to the left--that you never imagine crossing Tiger Woods's mind.

这是逻辑、分析、语文推和思维——我也许应该稍稍偏向些左脑——那种你永远想象不出泰格伍兹头脑中闪过何种念头的所在地。