【摘 要】
：
在G(?)del n值命题逻辑系统中,通过添加Δ算子,给出了命题公式的Δ真度及其等价形式,论证了Δ真度的MP规则和HS规则等一些基本性质.通过增加两类算子Δ和~对G(?)del n值命题
论文部分内容阅读
在G(?)del n值命题逻辑系统中,通过添加Δ算子,给出了命题公式的Δ真度及其等价形式,论证了Δ真度的MP规则和HS规则等一些基本性质.通过增加两类算子Δ和~对G(?)del n值命题逻辑系统进行公理化扩张,记为G(?)del~,Δ.在G(?)del~,Δ中给出了命题公式间的t真度(t任取~,Δ)、t相似度和t伪距离的概念,讨论了t真度的交、并推理规则等一些基本性质,在t逻辑度量空间中提出了三种不同的近似推理模式,证明了三种近似推理模式间的等价性.利用赋值集随机化的方法,在G(?)del~,Δ中给出了命题公式间的t随机真度、t随机相似度和t随机伪距离、理论Γ的t随机发散度和t随机相容度的概念,研究了t随机发散度和t随机相容度等一些基本性质,在t随机逻辑度量空间中提出了三种不同的近似推理模式,证明了三种近似推理模式间的等价性.利用命题公式的诱导函数,给出了命题公式在t连接词下相对于局部有限理论Γ的Γ-t真度、命题公式间的Γ-t相似度和Γ-t伪距离的概念,论证了Γ-t真度的MP规则和HS规则等一些基本运算性质.
其他文献
目前,近江蛏养殖模式还是以滩涂养殖为主,主要养殖区域位于福建省福州市闽江入海口的长乐市梅花镇、文岭镇、潭头镇和福州市马尾区琅岐镇以及漳州市九龙江入海口的龙海市紫泥
经济逻辑是研究经济推理（或策略推理）及其有效性的学科，是研究经济活动、知识经济活动以及经济学研究过程之逻辑结构与方法的学科。经济逻辑的基本特征在于它的经济性、多主体性
全球经济时代的到来使武术的经济价值得到彰显。实现武术的产业化是其发展的必经之路。文章从武术的经济价值角度进行分析,提出了具体的解决对策。体现了武术的技巧功能、健
<正>1月11日消息,蘑菇街与美丽说今天联合发布声明,宣布两家正式达成战略合并协议。此次两家公司的战略合并,以双方最近一轮的融资估值(即蘑菇街与美丽说估值比例约为2:1)作
<正> 1977年3月召开了该课题工作座谈会。与会单位有吉林工业大学、华北农机学院、镇江农机学院、洛阳拖拉机研究所、湖北农机学院、广东农机所、营口农机所、中国科学院南京
抗战时期陕甘宁边区的医疗卫生事业,是边区政府实施的一项重大民生工程。针对极端落后的卫生现状,边区政府成立后,克服一切困难,因陋就简办医院、推广卫生行政、创办医药合作
功能失调性子宫出血是妇科常见疾病之一,指由神经内分泌系统的调节功能失常所致月经紊乱和出血异常。经检查无内外生殖器明显器质性病变和全身出血性疾病,功能失调性子宫出血
泱泱大国,有过辉煌,遭受过巨变,经历近代民族的苦难,中国人民深深地感受到没有中国共产党的领导,就没有今天的安宁和幸福。环顾世界,美帝等资本帝国主义无论是从技术的封锁到
社区矫正的顺利发展亟需健全的程序加以保障。应及时对有关法律进行修改、补充和完善，以规范社区矫正的运作程序。这些程序包括社区矫正裁决前的人格调查制度、社区矫正裁量中
随着改革的持续深入和经济的蓬勃发展，武术作为中国传统的体育项目，与经济的关系日益密切。文章从市场经济条件入手，分析武术市场的经济价值，武术市场的形成及武术对市场经济的影