关于命题独立性的一点注记

摘要：

在D-逻辑度量空间中引入了命题的独立性,指出两个不含共同原子公式的公式是相互独立的,如果n个公式中任意两个公式均不含共同的原子公式,那么这n个公式不但两两独立而且相互独立.

关键词： 计量逻辑学 概率逻辑学 D-真度 命题独立性

作者: 惠小静

作者单位: 延安大学数学与计算机科学学院,陕西,延安,716000 陕西师范大学数学研究所,陕西,西安,710062

会议类型: 国内会议

会议名称: 第六届中国不确定系统年会

会议地点: 洛阳

会议语种:中文

页码: 150-152

在线出版日期: 2008-08-03（万方平台首次上网日期，不代表论文的发表时间）