逻辑的

Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

The arithmetic logic unit or ALU performs most arithmetic and logical operations, such as adding or ADDing values.

算术逻辑单元执行大部分的算术逻辑运算，如加法、逻辑与等运算。

We first review the basics of silicon-based donor spin quantum computer proposed by Kane, and how to control the system and construct the quantum gates, including Hadamard gate, CNOT gate and so on, in canonical gate decomposition ways.

首先，我们回顾肯恩的矽基底施子自旋量电脑系统，如何控制及构成量子逻辑闸，包括：阿达马逻辑闸、受控制否逻辑闸等等。

It is also configured for all 3 input logic and some logic between 4 and 7 input,and used for general combinational logic.

该单元还能实现全部 3输入逻辑和部分 4～ 7输入逻辑，也是一种满足通用逻辑应用的结构。

That is,the truth value of an implication compound proposition is just the compatibleness degree of the actual implication degree or implication rate between its sub-propositions with the language value that describes the feature of implication relation in this compound proposition.

关于复合命题A→B本身的真值，传统逻辑中是由其支命题A、B的实际真值通过某种真值运算(二值逻辑中用"实质蕴涵"，模糊逻辑中有众多的"蕴涵算子")而求得。我们称这种求蕴涵型复合命题真值的方法为逻辑方法。

The logical function was expressed in terms of cubic notation andthe logical operation was carried out cubically through intersection,compatibility and sharp product.

采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果

This paper is the second part of an introduction to linear logic and ludics, both due to Girard.

本文是《线性逻辑和态极逻辑引论》一文的第二部分。文章致力于证明网（第1节）和态极逻辑（第2，3，4和5节）。

In digital circuitry a circuit, which recognizes a high level to be a logical 1 and a low level as a logical-0 is said to use positive logic .

在数字电路中，每个将高电平识别为逻辑 l。把低电平识别为逻辑0的电路，被称为使用正逻辑。

Then deontic logic became a theory of dynamic logic based on action logic.

于是道义逻辑便是一种以行动逻辑为基础的动态逻辑。

We can see that they are both philosophers and logicians, so we may find the grounds of their different kinds of analysis of proper names in first-order and modal logics.

但是应看到，弗雷格、罗素和克里普克不但是哲学家而且也都是逻辑学家，他们的哲学理论都有他们各自的逻辑理论的支持，因此他们对专名的不同分析可以从一阶逻辑与模态逻辑中找到依据。

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.

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