查询词典 logic

Contrast this with an atemporal logic, which can only handle statements whose truth value is constant in time.

对比这与atemporal逻辑，只能处理声明，其真值是恒定的时间。

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

This thesis has given atomic proposition a detailed explanation which conforms to the objective and practical semantics of Lin's Entailment Logic .

本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。

Harmony of the so-called choice of color refers to the function of sound logic, modal, atonal, etc. from the existence of functions in terms of freedom of the tendency.

技法上力度性和弦选择主要表现在两个方面：一是和弦进行的倾向力度，例如Ⅳ或Ⅱ—Ⅰ的倾向没有Ⅴ、Ⅶ或Ⅴ7—Ⅰ的强烈，而Ⅲ或Ⅵ—Ⅰ的倾向又没有Ⅳ或Ⅱ—Ⅰ的倾向强烈等等。

Out of the logic set up a reverse power atresia, will be contained by traditional evolution of the shear load.

在解列的逻辑上设置了逆功率闭锁，将传统的减载演变为负荷联切。

Thispart is the purpose of writing and logic attribution of this paper.

这部分是本文的写作目的和逻辑归属。

And he's working on logic audio.

他在逻辑音频上工作。

According to multimedia data model based on temporal logic and XYZ system, the authors designed and implemented a new multimedia authoring language MAL. This language supports the specification of abstraction, concurrency and the procedure of stepwise refinement design, it can be used to specify modeling information units, design and script a multimedia title in a unified framework.

根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型，设计并实现了一种新的多媒体编著语言MAL，该语言具有抽象描述、同步描述、逐步求精设计的描述等能力，将多媒体节目中媒体对象的建模和多媒体节目的设计过程在一个统一的框架内进行描述。

In this paper, a fundamental framework of automata and grammars theory based on quantum logic is preliminarily established.

初步建立了基于量子逻辑的自动机和文法理论的基本框架。

He continues to make judgments with his Extreverted Feeling auxiliary function, but he also begins to make judgments based on logic and reason, which he works through in his own mind, rather than discussing it with others.

他继续用他的外向情感辅助功能来做出判断，但是他也开始根据逻辑和推理来进行判断，这个判断过程是在他自己的头脑进行，而不是和别人一起来讨论。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。