查询词典 logic of relation

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

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

Analyze the example we proof: we can get the most simple Combinational Logic Circuits by the Communal technique to design Combinational Logic Circuits., and the combinational logic circuits's rate of function and price was improved.

通过实例的分析证明了使用公用技术组合逻辑电路设计方法实现的逻辑电路比使用最简逻辑函数实现的逻辑电路更简单，从而提高了逻辑电路的性价比。

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.

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

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.

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

Discuss the relationship between fuzzy logic and probabilistic logic by comparing PL with the fuzzy logic based on distributive lattice with a boundary element and make clear some indiscriminations about this problem.

7给出值域为布尔代数的格值逻辑的概率解释；相对于值域为含分界元分配格的模糊逻辑作比较，讨论了模糊逻辑和概率逻辑的密切关系和根本区别，并据此澄清了逻辑文献中关于这一问题的某些混淆。

The characteristics and contribution in this period primarily consist in: the logic merges into an integral whole, making progress from simple analogy to strict deduce, connotate-logic conversing denote-logic, Hetuvidyā handling the question of main phrase broken, its investigative point and dogmata background having variety with Hetuvidyā development.

这时期的特点及贡献主要在于：逻辑学与认知理论融为一体；从简单的类比进展到严格的演绎；内涵性逻辑转化为外延性逻辑；能够处理主词不存在的命题；其研究的侧重点和教理背景随因明理论的进展而有所变化。

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.

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

The method includes establishing one reverse mapping list comprising list items; reading the mapping data recorded in the data block state list item area to the list items during system initialization; checking reverse mapping list and finding the data block in Flash memory during reading some logic block; and writing the updated data into the empty data area of one new data block, writing the mapping data between the new logic block and the new data block into the state list item area and updating the mapping data of the corresponding list item in the reverse mapping list during writing some logic blcok.

包括：建立一个由表项组成的反向映射表，一个表项对应一个逻辑块；在系统初始化过程中，将数据块状态表项区中记录的映射信息，按逻辑块号与表项间的对应关系读取到各表项中；读取某逻辑块时，以其逻辑块号作为表项索引查找反向映射表，定位到表项，根据表项中记录的映射信息，在Flash存储器件中查找到数据块；写入某逻辑块时，将更新数据写入一新数据块的空白数据区中和将该逻辑块与新数据块间的映射信息写入状态表项区中，同时更新反向映射表相应表项的映射信息。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。