查询词典 classical 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.

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

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的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc.

然后，调用现有逻辑程序求解器与描述逻辑推理机来实现查询等推理任务。

The power- plant alarm system is very complex as it generally involves a number of interconnected logic circuits com prising multiple AND,OR and NOT gates,flip- flops,time delay and other logic elements.

发电厂警报系统的特点是其逻辑线路中包含了延时元件，从而引入了时间因素，要对这样的系统进行故障诊断，必须计及警报信息的时间特性。

Historical thinking has been considered as the core in the middle school history teaching. Logic thinking, as one of the abilities of historic thinking, is right the basis of the accuracy of it. Without rigorous logic pattens, thinking would be in a chaotic and ridiculous state.

在中学历史学科教学中，历史思维能力是历史学科能力的核心，而作为历史思维能力之一的逻辑思维是历史思维正确性的基础，没有严密的逻辑基础，思维将是混乱的，乃至是荒谬的。

The merits and shortcomes of the two kind methods to develop the real time risk model of nuclear power plant, using outsets equation and using master logic fault tree, are carefully evaluated, especially for the possibility to underestimate the risk when the method of cutsets equation is adopted. At the same time, the necessity and advantage of master logic fault tree is pointed out.

本文详细分析了两类建立核电站实时风险模型的方法-割集方程法与大故障树法各自的不足之处，尤其是对割集方程法造成风险评价结果精确性的不足进行了细致的分析，指出采用大故障树法建立核电站风险模型的必要性和优越性。

Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL, this paper proposes a tableau decision algorithm for the logic EDDL and proves that this algorithm is terminating, sound and complete.

以 X 为描述逻辑ALCQO(attributive language with complements，qualified number restrictions and nominals)的情况为例，给出了EDDL的表判定算法，并证明了算法的可终止性、可靠性和完备性。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.

为了克服现有的信念、愿望和意图逻辑中存在的问题，为非正规模态算子提供一种合适的语义表示。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？