集合代数是经典命题演算形式系统的语义解释

• 作者: 刘宏岚 杨炳儒 高庆狮
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 经典命题演算形式系统 概率命题逻辑 概率空间 集合代数 同态
• 年，卷（期）: 2010,（9）
• 页码范围: 194-197
• 分类号: TP18
• 字数: 6598字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.09.047

摘要

经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的.逻辑代数和集合代数都是布尔代数,都是CPC的解释.集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵.逻辑等价的解释就是集合包含和集合相等=.标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用.CPC完全适用于概率命题演算.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨炳儒	北京科技大学信息工程学院	319	4361	32.0	49.0
2	高庆狮	北京科技大学信息工程学院	20	100	4.0	9.0
3	刘宏岚	北京科技大学信息工程学院	10	16	3.0	3.0