计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
9期
194-197
,共4页
经典命题演算形式系统%概率命题逻辑%概率空间%集合代数%同态
經典命題縯算形式繫統%概率命題邏輯%概率空間%集閤代數%同態
경전명제연산형식계통%개솔명제라집%개솔공간%집합대수%동태
经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的.逻辑代数和集合代数都是布尔代数,都是CPC的解释.集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵.逻辑等价的解释就是集合包含和集合相等=.标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用.CPC完全适用于概率命题演算.
經典命題縯算形式繫統(CPC)中的公式隻是一些形式符號,其意義是由具體的解釋給齣的.邏輯代數和集閤代數都是佈爾代數,都是CPC的解釋.集閤代數是CPC的集閤語義,其中對聯結詞的解釋就是集閤運算;對形式公式的解釋就是集閤函數;對邏輯蘊涵.邏輯等價的解釋就是集閤包含和集閤相等=.標準概率邏輯是在標準概率空間上建立的邏輯體繫,命題錶示隨機事件,隨機事件是集閤,概率空間中的事件域是集閤代數,概率邏輯就是CPC集閤語義的實際應用.CPC完全適用于概率命題縯算.
경전명제연산형식계통(CPC)중적공식지시일사형식부호,기의의시유구체적해석급출적.라집대수화집합대수도시포이대수,도시CPC적해석.집합대수시CPC적집합어의,기중대련결사적해석취시집합운산;대형식공식적해석취시집합함수;대라집온함.라집등개적해석취시집합포함화집합상등=.표준개솔라집시재표준개솔공간상건립적라집체계,명제표시수궤사건,수궤사건시집합,개솔공간중적사건역시집합대수,개솔라집취시CPC집합어의적실제응용.CPC완전괄용우개솔명제연산.
