逻辑的

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

Two intuitionistic systems of firstorder sentential calculus, Hilbert s type and natural deduction t ype, were introduced.

介绍了一阶命题演算的两个直觉主义系统：希尔伯特型及自然演绎型，并证明了这两个系统的等价性，揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关

This method is very suitable for sequential logic BIST design.

面向功耗优化的测试激励生成方法首先通过模拟退火算法把伪随机测试矢量集中分为"有效"测试矢量段和"无效"测试矢量段，然后根据段的首尾矢量设计"跳转"逻辑跳过测试激励中的无效测试向量以降低测试功耗，适用于组合逻辑的低功耗BIST设计。

In order to solve the limitations of the first-order logic,the existing formalismseither extend the range of truth value or revise the definition of implication from asyntactic or a semantic point of view.

为了解决一阶逻辑的这些局限性，现有的方法一般表现为对一阶逻辑的公式的真值取值范围进行扩展和对蕴涵在语法或语义上进行修正或推广。

Through the intensional interpretation, first-order language gets more close to the semantics of natural lan guage, and is truly neutral to all kinds of subject matter.

比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。

The type and relationship of HN, and the relationship between the Truth Value Space of GL and HN's operating are discussed, combing examples from Weather Forecast Expert System. The author includes into continues theory system the traditional Zadeh Operator, Probability Operator and Limitary Operator as special cases.

讨论了超结点的类型、关系及泛逻辑的真值空间和超结点间逻辑运算关系，结合天气预报专家系统实例，将传统的Zadeh算子、概率算子和有界算子作为特例包容到连续的理论体系中。

This shows that it is only when we construct deontic logic systems on thebase of paraconsistent relevancelogic that we can discard these doubtful formulaewhile absorbing the merits of C〓G'.

这表明只有在相干弗协调逻辑的基础上构造道义逻辑才有可能在吸取了CnMG＇的优点的同时又将这些可疑的公式去除。

Mr.Jin Yuelin was one of the most famous Logicians in Our country,who had been engaged in the studying and teaching of logic for more than half a century. He had achieved great attainments and attributed a great deal to the development of logic in our country.

金岳霖先生是我国著名的逻辑学家，从事逻辑的教学和研究有半个多世纪，其造诣极深，论著颇丰，为我国的逻辑学发展作出了重大的贡献。

But that is not true, the logic of the operation of the school support the logic of the operation of the Dan-wei. At the same time, the former also erode the latter's territory.

事实并不完全如此，作为单位的学校之运作逻辑支撑了作为学校的单位之运作逻辑的同时，前者也侵占了后者的&领地&。

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。