【摘 要】
：
研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→
论文部分内容阅读
研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.
其他文献
在“十二五”时期,面对新形势、新任务和新要求,要推动检察工作科学发展,检察机关需要注意正确处理好八个方面的重大关系,即党和国家中心工作与检察职权行使的关系,中国特色
简要回顾了我们小组在1996～2004年中发表的有关质子滴线附近β缓发质子衰变的实验结果, 即运用氦喷嘴快速带传输系统 +"p-γ"符合方法, 在稀土区质子滴线附近首次观测了9种新
随着科学技术的发展,我们已经进入了一个信息化的时代,多媒体作为一种新型的教学手段,对传统的教学起到了显著的作用,可是多媒体教学也有其不足之处,多媒体在大学英语教学中
高职院校应用写作课是一门实用性很强的公共课,本应是一门学生乐意学习的课程,然而教学情况并非如此,其中一个很重要的原因就是学生对该学科认知不足,学习动机缺乏。本文从奥
利用强部分平衡设计可以构造最佳认证码和密钥预分配方案,本文提出了一种强 部分平衡设计的构造方法,并给出了利用这种方法得到的一些结果.
The strong part balance design
准确的测量薄膜的折射率对于集成光学器件设计和制造有着重要的意义.系统而详细地介绍了多年来在折射率测量上经常采用的几种方法,分别对其原理和特点进行了分析.
用固相反应法制备了Nd2-xSrxCoO4 ( x = 1.25, 1.33, 1.60) 多晶.X射线衍射结果表明样品没有杂项,且都是四方层状K2NiF4结构[1].电阻率结果表明这组样品在测量温区都是半导体
作者使用增强质子背散射方法,分析了几种Mo基体纳米钛膜中氦的保持量情况.结果表明:采用离子注入法注入的氦在纳米钛膜中能保存较长的时间,氦的释放速率受氦在钛膜及基体中的
通过在山东工商学院经济学院的高级英语课程中实施任务型语言教学,探讨任务型语言教学在大学英语教学中的有效性.实践表明,任务型语言教学有利于激发学生学习英语的积极性和
随着我国对外开放的不断深入,提高大学生英语口语能力势在必行。如何提高大学生的英语口语能力呢?一是要增强大学生英语口语交际的自信心,鼓励他们敢说英语;二是要创设具体、