中文摘要：

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

英文摘要：

The well formed formulars（wffs） in classical formal system of propositional calculus（CPC） are only some formal symbols,whose meanings are given by a interpretation.Probabilistic logic,based on a standard probabilistic space,is the event semantics for CPC,in which set operations are the semantic interpretation for connectives,event functions are the semantic interpretation for wffs,the event（set） inclusion  is the semantic interpretation for logical implication,and the event equality = is the semantic interpretation for logical equivalence.We can perform event calculus instead of probability calculus in CPC.CPC is applicable to probabilistic propositional calculus completely.