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

作者：刘宏岚; 高庆狮; 杨炳儒概率逻辑命题演算相等关系命题逻辑逻辑系统逻辑体系逻辑运算真值

摘要：一、概率逻辑系统分析 标准概率逻辑是在标准概率空间上建立的一种逻辑体系，令p，g表示任意命题，v（p）表示p的真值，逻辑运算表示为v（ p）=1-v（p），v（p∨q）=v（p）＋v（g）-v（p∧g），等等。概率逻辑中命题公式的真值不能由其子公式的真值完全确定（Gabbay and Guenthner，p．251），

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社