查询词典 implicative

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

In this paper we consider the semisimplicity of implicative BCK-alge-bras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.

本文考虑关联BCK－代数的半单性，得到这类代数为半单的若干等价条件。

Her brisk and elegant fiction with implicative and romantic plots subconsciously assumes responsibility of belles-lettres while profoundly analyses the emotion and spirit of characters in modern city li...

从文本细读出发，在对潘向黎的小说创作进行总体把握和系统的梳理与分析的基础上，着重从小说的主题、形象、艺术特征与美学风格几个方面进行，对于意象叙事及女性视角的运用所形成的诗的意蕴和散文化风格、小说的激情创作与温情之美都进行了一定的阐述。

Her brisk and elegant fiction with implicative and romantic plots subconsciously assumes responsibility of belles-lettres while profoundly analyses the emotion and spirit of characters in modern city life, inflexibly probes into the emotional end-result and spiritual tendency of white-collar ladies.

她的小说文字轻灵雅致，故事情节含蓄浪漫，同时又承担起纯文学的责任，对现代都市生活中人物的情感和精神气质给予深刻的剖析，对现代都市白领女性的情感归宿和精神走向给予执著的追问。

Chapter one: Provide the simple introduction to basic conceptions and properties used in the article about MTL-algebra; prove the set of all the filters form a complete distribution lattice in MTL-algebra; Discussion some property characteristics of Boolean filter, at the same time introduce the conceptions of positive implicative filter and obstinate filter, receive some properties of them, discuss the relation between the important filters and their equivalent condition.

第一章：对文章中用到的关于MTL-代数的基本概念和性质给出简单的介绍，证明了MTL代数中的全体滤子之集构成一个完备的分配格；讨论了布尔滤子的一些性质特征，同时引入和固执滤子的概念，得到它们的一些性质，探讨了几类重要滤子之间的关系。

Zadeh put forward, make MTL-algebra"s filter conception fuzzified, provide the conceptions and properties of fuzzy filter, obtain the structure of all fuzzy, filters, prove that the set of all fuzzy filters forms a complete distribution lattice; Provide several fuzzy Boolean filter"s equivalent forms, introduce fuzzy positive implicative filter, fuzzy obstinate filter and fuzzy ultra filter, discuss some property characteristics and terms that transform each other under certain terms to obtain them.

Zadeh提出的模糊集思想使MTL-代数的滤子概念模糊化，给出了Fuzzy滤子的概念和性质，得到了全体Fuzzy滤子的结构，证明了全体Fuzzy滤子之集构成完备的分配格；给出了Fuzzy布尔滤子的若干等价形式，并且引入了Fuzzy正蕴涵滤子，Fuzzy固执滤子和Fuzzy超滤的概念，得出了它们的一些性质特征以及在一定条件下之间相互转化的条件。

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Characteristics of conflict are analyzed, using divergent, expansive, correlative and implicative natures of matter element and conjugate analysis in extenics, conflict analysis method and policies generation method for conflict settlement are presented.

分析了不正常航班中冲突的特点，利用可拓学中的共轭分析理论和物元的发散性、可扩性、相关性、蕴含性关系，对解决旅客纠纷提供了一种有效的分析手段和策略生成方法。

It defines the basic conceptsof green marketing, analyses its characteristics of green nature, continuity, externaleconomy, systematicness and cumulativeness, and probes into its implicative thinkingin it: green culture, green ethics and green philosophy.

主要内容包括：界定了绿色营销的概念，揭示了其基本内涵；分析了绿色营销的基本特征：绿色性、持续性、外部经济性、系统性和累积性；探讨了绿色营销蕴含的思想：绿色文化观、绿色伦理观和绿色哲学观。

SPECIALTY is a habitude,a unique, easy and implicative grace—a well-thought-out plan beforehand and confidence in victory.

专业，是一种气质，是一种独特、从容、含蓄的——成竹在胸、胜券在握的优雅。对社会：奉守，诚信为本

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样