论文部分内容阅读
利用概率分布,给出命题逻辑公式的真度概念,建立了逻辑度量空间。给出不可靠度概念,在我们建立的逻辑度量空间里,得出了一个有效推理结论的不可靠度和各前提不可靠度之间关系的结论。利用我们得出的结论,证明了逻辑度量空间中MP,HS等规则成立。
基于命题逻辑公式真度的概率逻辑学基本定理
【摘 要】
：
利用概率分布,给出命题逻辑公式的真度概念,建立了逻辑度量空间。给出不可靠度概念,在我们建立的逻辑度量空间里,得出了一个有效推理结论的不可靠度和各前提不可靠度之间关系
【机 构】
：
桂林航天工业学院理学院
【出 处】
：
桂林航天工业学院学报
【发表日期】
：
2019年2期
其他文献
目的:建立一种简便、快速和灵敏的皮肤组织原位活力检测方法。方法:采用SYTO 13和溴化乙啶(EB)两种核酸染色剂对皮肤组织进行双重染色,荧光显微镜下通过颜色不同判断细胞的活
设群G为S14的传递子群,令k为任意域,G在有理函数域k(x1,x2,…,x14)上的作用定义为σ(xi)=xσ(i),对任意的σ∈G,1≤i≤14。我们将证明当G为文献[1]中S14的第6和第9个传递子群
程文超的论著为20世纪中国文学研究提供了极有价值的文本。他把文学批评作为研究对象，立足于当下中国语境，从自己独特的角度去把握文学现象，透视文化挣扎时代的精神历程。程文超
人们已发现的生物因子种类繁多，不同类型的生物因子可通过作用于不同分化时期和不同类型的靶细胞，地骨髓造血细胞起辐射防护和促进骨髓造血恢复作用。本文重点介绍正性造血因子
目的:观察大鼠深Ⅱ度烫伤创面愈合过程中创基微小血管内皮细胞增殖与凋亡的变化特征,探讨血管的形成与退缩在创伤修复中的作用。方法:利用大鼠5%深Ⅱ度烫伤模型,将72只 Wista
期刊
液体通气(1iquid ventilation,LV)是近几十年来发展起来的以液体氟碳化合物(perfluorocarbon,PFC)为通气媒介的一种新型技术,它改变了人的思维定势,在治疗急性肺损伤(acute l
针对安全门监控系统中存在的监测数据易丢失及基于单片机控制的监测电路存在的板上存储器容量有限、保存数据时间短,监测数据只能以原始二进制代码存放、不便于查看等问题,给