| 概率命题逻辑是经典命题演算形式系统的随机事件语义 |
| |
| 引用本文： | 刘宏岚,高庆狮,杨炳儒.概率命题逻辑是经典命题演算形式系统的随机事件语义[J].小型微型计算机系统,2011,32(5). |
| |
| 作者姓名： | 刘宏岚 高庆狮 杨炳儒 |
| |
| 作者单位： | 北京科技大学,信息工程学院,北京,100083 |
| |
| 基金项目： | 国家自然科学基金项目(60873002,60573014)资助 |
| |
| 摘 要： | 经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.
|
| 关 键 词： | 经典命题演算形式系统 概率命题逻辑 概率空间 布尔代数 同态 |
Probabilistic Propositional Logic is the Event Semantics for Classical Formal System of Propositional Calculus |
| |
| LIU Hong-lan,GAO Qing-shi,YANG Bing-ru.Probabilistic Propositional Logic is the Event Semantics for Classical Formal System of Propositional Calculus[J].Mini-micro Systems,2011,32(5). |
| |
| Authors: | LIU Hong-lan GAO Qing-shi YANG Bing-ru |
| |
| Affiliation: | LIU Hong-lan,GAO Qing-shi,YANG Bing-ru(School of Information Engineering,University of Science and Technology Beijing,Beijing 100083,China) |
| |
| Abstract: | |
| |
| Keywords: | CPC probabilistic propositional logic probabilistic space Boolean algebra homomorphism |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
