逻辑的

Coase Theorem related to free exchange, Coase Theorem related to transaction cost and Coase Theorem related to complete competition rely on the definitions of" transaction cost"," free exchange" and" efficiency", which are related to logical fallacies.

自由交换版科斯命题、交易成本版科斯命题和完全竞争版科斯命题是否是同义反复或者逻辑谬误在于"交易成本"、"自由交换"和"效率"的定义，实际上属于是否逻辑谬误的问题。

We try to expurgate the concept, and furthermore, put forward "inside world" parameter, and indicate that it should be in the frame of intensional logic to describe Chinese quasi-contradictory sentences.

高阶类论语言中形容词的逻辑类型描写不一致，本文从汉语似矛盾句实例出发，联系预设因素，尝试统一形容词的逻辑类型描写。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

It is based on an one column full adder in function; there introduces the special carry chain in the parallel and the vertical directions in order to accord the flexible carry needed by the data channel, it can be confected into different working mode, and realizes the compound logic and the sequence logic.

它在功能上基于一位全加器；在水平和垂直方向中都加入了专用进位链以满足数据通路所需的灵活进位，可配制为不同的工作模式，分别实现组合逻辑和时序逻辑。

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

Following the analytic tradition of logical and language methods, this paper examine the mind-body problem in two key aspects: one is related to the implication of the G del incompleteness theorem to mind-body problem, which refuted the argument proposed by H.

遵循语言与逻辑分析的分析传统，我们着重从两方面讨论心身问题：一是围绕G del不完全性定理，二是认知逻辑尤其是有关认识论算术与机器是否有私有性的论题。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

Karnaugh map plays an important role in the simplification of logic function and the design of logic circuit.

卡诺图在逻辑函数的化简和逻辑电路的设计中，有着重要作用。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

This paper firstly introduced the systemtic composition of logic analysis card, which is designed independently, and attached the logic frame diagram of each module.

介绍了自行设计逻辑分析卡的系统构成，给出各个功能模块的逻辑框图。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。