查询词典 predicate logic

The sine qua non of such mythopoeia, for Tolkien, is the making of a world that resembles ours but is not ours, a world that possesses internal logic and self-consistency to the same degree that ours does - but not the same logic: it must have its own rules, rules that are peculiar to it and that generate consequences also peculiar to it.

对托尔金而言，进行神话创造的必要条件是创造一个世界，要与我们的世界相似但又不同，和我们的世界一样都拥有内在逻辑性和自身连贯性，但那又是一种不同的逻辑：它必须有自己的规则，是那个世界特有的规则，然后产生出规则背后特有的结果。

I don't,we don't have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We don't have this logic.

任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

I don"t,we don"t have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We dont have this logic.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

I dont,we dont have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We dont have this logic.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

I don't, we don't have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries, then this cabinet will be pro-Soviet Union or pro-any country. We don't have this logic.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

I don't,we don't have such a logic that in a cabinet if one member or several members have been studied in former soviet union or in any other countries,then this cabinet will be pro-soviet union or pro-any coutry.we don't have this logic.i think no matter where the members of the cabinet once studied or what experience the members of the cabinet used to have,this cabinet is the cabinet of china.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。我们中国的内阁都是不管从哪里学习回来的，有什么经验都是中国的内阁。

I don't,we don't have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We don't have this logic.

钱其琛：任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

The philosophical dimension of metaphor Traditional and classical logic is a rigid dual value- logic/dialectic based on Aristotelian syllogisms– major premises, minor premises, and conclusions.

英汉两个民族在认识自身的基础上，通过隐喻机制，经过英汉这两种不同语言的过虑，去认识世界时，便对世界做出了不完全相同的切割和处理。2隐喻的哲学纬度。

The traditional synthesis tools succeed is because of the high quality timing engine, which can compute the delay and area of the different implement style of the same logic function and help the synthesis engine to choose the most suitable circuit, deal with the timing borrow, register retiming, logic duplication, etc for the design engineers.

目前的迭代式方法将综合后的设计进行初步的布局，根据布局信息计算延时，然后用于指导综合工具进行综合修正。还有一部分厂商致力于提供统一的工艺信息数据库，使综合工具和布局布线工具使用相同的模型数据库，根据各个阶段提供的信息实时更新模型。

The model is called the Default Logic for GCI Inference, or DLg, an adapted version of Reiters (1980) default logic and its refinements.

根据一般会话含义非单调性推理的特点，本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

World War II: Battle of Saipan - Americans take Saipan.

1944年的今天，美国在塞班战役中拿下塞班岛。

When the scorner, the rejecter of truth, has become presumptuous; when the routine of work in the various money-making lines is carried on without regard to principle; when the student is eagerly seeking knowledge of everything but his Bible, Christ comes as a thief.{DA 635.3

当讥诮和拒绝真理的人，到了任意妄为时，当追求财利者罔顾按道义经营谋利时，当学人正在兢兢业业地研究各种知识，而单把圣经丢在一边时，基督要像贼一样来临。