查询词典 logic value

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.

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

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

To the at present prevailing invalid view in three value logic of three law about the thinking law, this text set out from dialectics about the dialectical relation principle of the universality and particularity , think the law of identity , law of contradiction , law of excluded middle are for guaranteeing the universal law of people's correct thinking has general guidance functions to human thinking , will not lose efficiency in this concrete scientific field of thinking of three value logic

针对时下流行的关于思维规律前三律在三值逻辑中失效的观点，本文从辩证法关于普遍性与特殊性的辩证关系原理出发，认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用，不会在三值逻辑这一具体的思维科学领域内失效

Although traditional value analysis method is not directly applied in the logic product, the value engineering of the basic thought and the theory system have the same significance of instruction for promoting the value of logic product.

而价值工程在传统意义上是对物理产品进行价值分析，提升产品价值。

The essence of business models is to reflect the logic of firm's value creation. It can be measured with three dimensions, i. e., the orientation of the enterprises in an industry value chain or value network, their competitive advantages, and potential benefits.

商业模式的本质是反映企业价值创造的逻辑，可以由企业在产业价值链或价值网络中的定位、企业在价值链或价值网络中的竞争优势以及企业在价值链或价值，网络中能够获得的潜在利润三个维度来衡量。

The constitutionalism is based on a public sphere with negative law as rule, so that it transforms the allocation of the modern political value logically, i.e. traditionally ,only the reasonable value is legitimate, whereas in the constitutionalism, only the legitimate value is reasonable. In other words, it has changed the standard of value from the former positive logic, based on the moralization of human nature, to the negative one, based on the legalization of human nature. Rawls and Hayek demonstrate this logic conversion from different ways separately.

由于宪政的法律制度预设的乃是一个否定性的以法律为尺规的公共领域，因此就把近现代有关政治价值的定位从逻辑上进行了一番改造，即传统政治价值形态那里所表述的是，只有合理的价值才是合法的，而宪政的法律制度则反过来表述为，只有合法的价值才是合理的，或者说，它把价值标准从过去那种以人的本性的道义化为基础的肯定性逻辑，转变为以人的本性的合法性为基础的否定性逻辑。

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

The second part of the thesis consists of three chapters, which focus on arguing for the rationality of "the unverifiable value judgment" from three points, the verification on the value judgment and emotion, the verification on value judgment and the language logic and the verification on the value judgment and rationality. The fourth chapter mainly discuss the verification on value judgment and emotion.

本文第二部分，即第四、五、六这三章，集中反驳&价值判断是不可证实的&这一论断的合理性，主要是从逻辑实证主义和情感主义对价值判断可证实性的三方面攻击入手，分别对情感与价值判断的可证实性、语言逻辑与价值判断的可证实性和理性与价值判断的可证实性三者进行再考察，第四章主要探讨情感与价值判断可证实性。

Through literature material and logic analysis,this paper reviews the evolution of the sports dance's value orientation,according to the study of dance and sports.It discusses the similarities and differences of the target,function and measure of sports dance between sports orientation and arts orientation.Based on the analysis,major problems are analyzed in the development of sports dance under the two value orientations in China.Meanwhile,suggestions and solutions are put forward in realizing dual value c...

文章采用文献资料、逻辑分析等方法，从舞蹈学、体育学的视角，回顾了体育舞蹈价值取向的历史演变，探讨了当前竞技取向与艺术取向下体育舞蹈的目标、功能和手段等方面的共性与异性；在此基础上分析了两种价值取向下我国体育舞蹈发展中出现的主要问题，并提出了双重价值整合的对策建议，以期为推动我国体育舞蹈发展提供有益的参考。

The foundation education is changed direction the basic purpose of"education for all-round development" by"should try an education" to want intelligence at the child to develop a stage to come out their intelligences development with maximum limit, but the high school logic learn teaching to the foundation educate in of the intelligence development has important influence decision a function, so, as soon as possible become is suitable for high school logic in Yunnan to learn the school of teaching this a course to become each high school logic to learn the problem that the worker should value.

基础教育由&应试教育&转向&素质教育&根本目的是要在儿童智力发展阶段最大限度地把他们的智能开发出来，而高校逻辑学教学对基础教育中的智能开发有重要的影响决定作用，所以，尽快形成适合云南高校逻辑学教学的校本课程成为每一个高校逻辑学工作者应该重视的问题。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。