概率逻辑学基本定理的推广及其应用
来源：计算机工程与应用杂志2017年第1期北京时间：
作者：李 燕
单位：桂林航天工业学院 信息工程系，广西 桂林 541004
摘要：利用赋值集的随机化方法，在[n]值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。
关键词：随机真度,随机不可靠度,随机伪距离,随机逻辑度量空间
《计算机工程与应用杂志》发表论文赏析
作者：李 燕
单位：桂林航天工业学院 信息工程系，广西 桂林 541004
摘要：利用赋值集的随机化方法，在[n]值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。
关键词：随机真度,随机不可靠度,随机伪距离,随机逻辑度量空间
