逻辑的

A cable railway on a steep incline, especially such a railway with simultaneously ascending and descending cars counterbalancing one another.Each of these logic families, TTL, ECL, PMOS, NMOS and CMOS, has a specific set of characteristics that make it desirable for certain applications.

每一种逻辑元件，晶体管一晶体管逻辑电路、发射极耦合逻辑电路f 型金属氧化物半导体、n 型金属氧化物半导体和补充金属氧化物半导体，都有其特有的性质，从而适用于不同的用途。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Therefore, parergon decides the characteristics of local society to some extent. To Hacka area, parergon can also maintain the cohesion of village.

不过，致富逻辑下的兼业与历史以来的生存逻辑下的农业兼业状况具有传承性，兼业对于客家地域社会而言，在很长时间内起到的作用是维持村庄的内聚力，维持传统的儒家社会的理想，在这种情况下，商业的逻辑实际上是融入了农耕社会的逻辑之中的。

While in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.

维特根斯坦的哲学思想可分为前期和后期，前期为逻辑分析哲学、核心是图式说，它对逻辑实证主义具有决定性影响；后期基本上抛弃了前期的哲学观点，即以语言游戏说代替了图式说，以语言分析代替了逻辑分析，以日常语言代替了理想语言。

wittgenstein's philosophy thoughts can be divided into two different stages. in his first stage, he contributes to logic analytical philosophy, the core of which is schematism. it has a decisive influence on the logic positivism. while in his second stage, he cast away his former philosophy ideas, replacing his schematism with theory of language game, logic analysis with linguistic analysis, deal language with daily language.

维特根斯坦的哲学思想可分为前期和后期，前期为逻辑分析哲学、核心是图式说，它对逻辑实证主义具有决定性影响；后期基本上抛弃了前期的哲学观点，即以语言游戏说代替了图式说，以语言分析代替了逻辑分析，以日常语言代替了理想语言。

This theorem states that the sum of the symmetric logic variables constitutes a level-0 kernel of the symmetric logic function.

该定理表明，对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。

Thus it can provide powerful specify capability and it is decidable.

该逻辑系统将描述逻辑中的知识表示结构和任务逻辑所使用的任务语义结合，表达能力强。

In part two ,the author rethink the domestic research of logic of Moism in recent twenty years and summarize the achievement and defect .At the same time ,the author look forward to the research of Chinese logical history and logic of Moism ,and raise some questions

第二部分是对近二十年国内墨辩逻辑研究成果进行反思，总结当代学者研究的成就与不足，并对未来墨辩逻辑研究和中国逻辑史研究进行展望，提出应思考的一些问题。

Deontic Logic ; Logic of Willing ; Mally's Deontic System ; Standard Deontic Logic

道义逻辑；马利的道义系统；意愿的逻辑；道义逻辑标准系统

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

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.

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