【摘 要】
：
在公式集中定义了每个公式的真度其实也就给出了公式集上的一个内蕴模糊子集.本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一
【机 构】
：
山西师范大学数学与计算机科学学院,041004
论文部分内容阅读
在公式集中定义了每个公式的真度其实也就给出了公式集上的一个内蕴模糊子集.本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,从而得到谓词公式集的一类内蕴模糊子集.并证明了这种相对真度也具有与命题逻辑系统中公式的真度相应的某些性质,如MP 规则与HS规则.本文为建立谓词逻辑系统中的近似推理理论提供了理论基础.
其他文献
目的:探讨肢体接触护理对ICU机械通气患者PTSD的影响.方法:随机双盲法将98例ICU机械通气患者分为两组,各49例,对照组采取常规护理,观察组在对照组基础上加以肢体接触护理.用
在临床上涉及着多种液体采集,传统的采集方法弊端较多,为了解决这些问题,为液体检测的准确性提供保障,本文提出了一种新型医用液体采集器的设计方法.该医用液体采集器设有取
目的:探讨和分析舒适护理对胸部外伤肋骨骨折术后患者疼痛及满意度的影响.方法:将2015年12月至2016年12我院收治的129例胸部外伤肋骨骨折术后患者为研究对象,采用随机抽签发,
目的:对于38名患有乳腺癌的高龄患者进行治疗,采用的药物为依西美坦,并观察其实际应用效果.方法:本次实验选择了2015年8月到2016年5月某医院中的38名高龄病患,所有病患均患有
患者 ,女 ,2 7岁。因停经 3个月 ,剧烈恶心、呕吐 2个月 ,于 2 0 0 0年 8月 2 5日入院。既往月经规律 ,末次月经 2 0 0 0年5月 9日 ,停经 30天出现恶心、呕吐频繁 2个月 ,体
全氟化碳(perfluorocarbon PFC)是碳氢化合物中的氢原子被氟原子取代后形成的一类化合物,医学上常用的PFC碳原子为8～12个,常温下为无色、无味、无毒的透明液体,粘度低于血液而
目的:对应用椎管减压、骨水泥加强固定治疗腰椎管狭窄症合并骨质疏松的临床效果进行观察.方法:以2012年1月至2013年1月收治的49例腰椎管狭窄症合并骨质疏松的患者为研究对象.
目的:将质量控制应用到影像科的管理中,探讨质量控制与质量保证在影像科管理中的关系.方法:对我院影像科管理实施质量控制前后,出现的问题进行回顾分析,根据实施前后影像科管
伴随着我国科教兴国战略的提出,全国范围内的各大高校均响应国家号召将实用型人才培养作为教育的终极目标.在此基础上,高职院校中的教育改革应该准确的定位自身的人才培养方
早产与先兆早产是围产学中的一个相当重要的课题 ,目前尚无有效的治疗方法 ,主要是因为对分娩时子宫及宫颈的调控机制不清。本文对近年来有关分娩动因的研究进展作一回顾 ,以