概率命题逻辑是经典命题演算形式系统的随机事件语义

摘要

经典命题演算形式系统（CPC）中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件（集合）包含和事件相等=.由于不存在处处适用的真值函数（算子）,概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.