概率逻辑学基本定理的推广及其应用

摘要：

利用赋值集的随机化方法，在n值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。

关键词：随机真度、随机不可靠度、随机伪距离、随机逻辑度量空间

所属期刊栏目：53

分类号：O142(数理逻辑、数学基础)

资助基金：广西壮族自治区教育厅科研项目No.201106LX709。

在线出版日期：2017-02-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-56,76