逻辑系统

For example, because of the geometry of the peel mounting, the horizontal and vertical positions of the pivoted end of the ram 10 have unique values for each value of L and it is therefore possible to dispense with the measurement of θ, but at the cost of a more complicated logic system.

例如，由于推杆安装的结构不同，活塞10的转动轴末端的水平和垂直位置，相对于每个L的值都具有唯一的数值，因此不需测量θ角也是可能的，但这需要更加复杂的逻辑系统作代价。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

"Advanced clothes-washing machines, for example, use fuzzy-logic systems to detect and adapt to patterns of water movement during a wash cycle, increasing efficiency and reducing water consumption."

高级的洗衣机能利用模糊逻辑系统来探测和适应洗涤循环中水的运动模式，从而减少耗水量，提高洗涤效率。

Deontic logic system created by GH.von Wright in 1951 took names of actions as its study object.

他1951年创建的现代道义逻辑系统把所处理的主要客体对象看作是行动的名称。

Therefore deontic logic systems we have nowmay contain an irrational inference rule.

因此我们现在拥有的道义逻辑系统可能包含一个不合理的推理规则。

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

It is proven that the binary logic system realized with these gates is totally self-checking for mid-seeking faults.

论证了用这些门电路所构成的二值逻辑系统对所有向中型故障是完全自校验的。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

They are not only sound and complete 3-valued logical systems, but also complete in the content of the propositional connectives.

MP〓和MF〓分别由20条和26条推理规则组成，是命题联结词含量完全且可靠和完备的三值逻辑系统。

There is no tautology in the three-valued logic whose boolean connectives are Kleene implication and the negation in open-world.

但是，Kleene的蕴含词&→&和开放世界假定的否定词&&构成的三值命题逻辑系统没有重言式，通过选定特定的重言式作为推理的出发点进行推理行不通了。

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.

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