简介:讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.
简介:<正>“蕴涵”(Implication)是逻辑学的术语。指复合判断里前后两个判断之间存在着的一种条件关系:只有当前一个判断真而后一个判断假时整个复合判断才假。它的表现形式是:“如果……则……”。转换生成语法学家把它用来分析句义,用在“隐含”的意义上。例如:(1)猫在席子上。隐含着“席子在猫下面”的意思。(2)他现在进步了。隐含着“他过去落后(或表现不好)”之类的意思。根据上面的用例,我们可以极为简略地说:“蕴涵”就是一个句子里隐含着密切相关的,可以意会的伴随意思。根据我们的研究,不仅句义有蕴涵,词义也有蕴涵。例如:(3)陪同它的词义是:“陪伴着一同(进行某一活动)”(《现代汉语词典》)这个词义的蕴涵有:陪者(次)、被陪者(主);主的身分跟次的身分相当或比次高,礼宾除外。