查询词典 logical comparison

The logical investigation of the categorical system is based on the logical methods we have discussed before.

对范畴系统的这种逻辑考察是以前面讨论过的逻辑方法为基础的。

Conditional sentences in two-valued logical systems are incapable of supplying solutions, consequently have to advance to a three-valued logical system, in order to secure a valid conditional sentence truth-table and solve the paradox of The Verification of the Paradox.

条件语句的问题在二値逻辑的系统无法获得解决，因此我们必须进一步诉诸一套三值的逻辑系统，才能得到合理的条件语句眞值表，并且解决像「检证的吊诡」一类的矛盾。

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

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

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定，可构造出 1 2种推理模式。采用归谬赋值法，对其有效性进行判定，"N难推理"便是这种推理的语用形式

In order to implement a read command in the application specific protocol, a write command in the first protocol with an embedded read command is first sent to a logical address, followed by a second read command to the same logical address.

为了实施所述应用特定协议中的读取命令，首先将具有内嵌的读取命令的第一协议中的写入命令发送到逻辑地址，接着将第二读取命令发送到相同逻辑地址。

By this, I hope I shall be able to provide a more wezhaustive understanging of explanation, and, to construce the concept of explantion not as a logical one by distinguishing explanation from logical inference;(2) not as a psychological one by separating explanation from individual's psychological orientation;(3) not as an Ontic one by emphasizing the relevance of the questioner's and explainer's knowledge-states to explanation;(4) not as a relative one by holding that it is possible to get a non-pragamatic standard to differentiate batter explanations from worse ones.

通过对最新近的实用说明论的得失的详细分析，来探讨有关说明和说明论的一些基本问题，力求在这些探讨的基础上得到对说明的更全面的理解，使得说明概念（1）不是一个逻辑概念，避免将说明与逻辑推导相等同；（2）不是一个心理学概念，将说明与提问者和回答者的心理倾向相分离；（3）不是一个实体概念，强调说明与人们知识状态的密切关系以及（4）不是一个完全相对化了的概念，坚持可以在好的说明和差的说明之间找到某种标准。

Logical process unit of ATP system is fail safe: In case of failure, Logical unit of ATP process must put all outputs in safe state

ATP 系统逻辑处理单元是故障安全的： ATP 系统逻辑处理单元失效后，所有输出必须保持在安全状态。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

The concept of G unit interval and the definition of separable degree between elements on G unit interval are given, and some properties are discussed. Based on this concept, it determined a metric p, and ([0, 1], p) becomes a metric space (It is called G unit logical metric space). In this paper, the properties and structure of G unit logical metric space are discussed in detail, and get some good results.

给出了G单位区间[0， 1]的定义并在其上引入了元素间的可分度的概念，讨论了其基本性质，并在此定义的基础上确定了一个度量P，从而([0， 1]， p)成为一个度量空间（文中称"G单位逻辑度量空间"），并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论，并得到一些好的结果。

Pradeep Indulkar, a senior official at the Maharashtra state Home Ministry say 101 human were killed and 287 injured.

马哈拉施特拉邦内政部高级官员Pradeep Indulkar称，有101人在冲突中丧生，287人受伤。

Mark Frei, a senior vice president of West, says 80% of West's homeagents have some college education, compared with 30% of those whowork in office-based call centers.

Frei说，该公司80%在家办公的人员都拥有本科学位，而在公司电话中心工作的人中只有30%拥有本科学位。