概率命题逻辑中命题相等关系的两个层面与命题演算

摘要：

@@ 一、概率逻辑系统分析
标准概率逻辑是在标准概率空间上建立的一种逻辑体系,令p,g表示任意命题,v(p)表示p的真值,逻辑运算表示为v(┐p)=1-v(p),v(p∨q)=v(p)+v(q)-v(p∧q),等等.概率逻辑中命题公式的真值不能由其子公式的真值完全确定(Gabbay and Guenthner,p. 251),如公式p∨q的真值v(p∨q)不是只与v(p)和v(q)有关,还与v(p∧q)有关,不能表示成v(p∨q)=f(v(p),v(q))的形式.这样就不能用[0,1]上的真值函数定义联结词,因为它在实际推理中不方便计算和使用,不能在经典逻辑框架内实现概率命题演算.

机标关键词：概率命题逻辑、命题演算、两个层面

分类号：B81(逻辑学(论理学))

资助基金：国家自然科学基金;国家高技术研究发展计划（863计划）

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

页码：113-120