逻辑

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输入逻辑，也是一种满足通用逻辑应用的结构。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

A hydraulic system is diagnosed by a fuzzy logic diagnosis method and to overcome the defect of fuzzy logic operators were defined before a new fuzzy logic operator fuzzy aggravating and synthesizing operator.

应用模糊逻辑诊断方法对液压系统的故障进行了诊断，同时针对传统模糊逻辑算子的缺陷，提出一个新的模糊逻辑算子——模糊加权综合算子。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

Secondly, with the reference of the fuzzy properties of FD and the severe defaults of two-value logic model, FL is introduced to design a general Fuzzy Logic Fault Diagnostic program. This program is used in Fuzzy Pattern Recognition of fuzzy logic diagnostic model.

鉴于故障诊断的模糊性和二值逻辑的严重缺陷，引入模糊逻辑，编制了一个通用模糊诊断程序，对基于模糊逻辑的诊断模型进行模糊模式识别，根据用模糊语言表述的故障征兆，得出发生各种故障的隶属度。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

Studying the course of development of these two kinds of logic from this point of view,one can find that rationalist philosophy always attaches importance to deductive logic,and experientialist philosophy to inductive logic.

从这一点出发考察此二种逻辑的发展过程可以发现，演绎逻辑总是受到理性主义哲学的重视，归纳逻辑总是受到经验主义哲学的青睐。

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

Studies on the tautologies in some lattice valued logic systems and formula computation by means of neural net works.(1) Tautologies play a significant role in logic applications.

二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算 1、重言式在逻辑系统的应用中起着重要的作用。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。