小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
5期
978-982
,共5页
经典命题演算形式系统%概率命题逻辑%概率空间%布尔代数%同态
經典命題縯算形式繫統%概率命題邏輯%概率空間%佈爾代數%同態
경전명제연산형식계통%개솔명제라집%개솔공간%포이대수%동태
经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含()和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.
經典命題縯算形式繫統(CPC)中的公式隻是一些形式符號,這些形式符號的意義是由具體的解釋給齣的.概率邏輯是在標準概率空間上建立的一種邏輯體繫,是CPC的隨機事件語義,對聯結詞的解釋就是集閤運算,對形式公式的解釋就是事件函數,對邏輯蘊涵和邏輯等價的解釋就是事件(集閤)包含()和事件相等=.由于不存在處處適用的真值函數(算子),概率邏輯不能在CPC內實現概率縯算,但可在CPC內實現事件縯算,CPC完全適用于概率命題縯算.
경전명제연산형식계통(CPC)중적공식지시일사형식부호,저사형식부호적의의시유구체적해석급출적.개솔라집시재표준개솔공간상건립적일충라집체계,시CPC적수궤사건어의,대련결사적해석취시집합운산,대형식공식적해석취시사건함수,대라집온함화라집등개적해석취시사건(집합)포함()화사건상등=.유우불존재처처괄용적진치함수(산자),개솔라집불능재CPC내실현개솔연산,단가재CPC내실현사건연산,CPC완전괄용우개솔명제연산.
