哲学研究
哲學研究
철학연구
Philosophical Researches
2009年
10期
113~120
,共null页
刘宏岚 高庆狮 杨炳儒
劉宏嵐 高慶獅 楊炳儒
류굉람 고경사 양병유
概率逻辑 命题演算 相等关系 命题逻辑 逻辑系统 逻辑体系 逻辑运算 真值
概率邏輯 命題縯算 相等關繫 命題邏輯 邏輯繫統 邏輯體繫 邏輯運算 真值
개솔라집 명제연산 상등관계 명제라집 라집계통 라집체계 라집운산 진치
一、概率逻辑系统分析
标准概率逻辑是在标准概率空间上建立的一种逻辑体系，令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），
一、概率邏輯繫統分析
標準概率邏輯是在標準概率空間上建立的一種邏輯體繫，令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），
일、개솔라집계통분석
표준개솔라집시재표준개솔공간상건립적일충라집체계，령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），
