古典命题逻辑与模态命题逻辑的语义之比较

模态命题逻辑的语义解释与古典命题逻辑的语义解释相比:语义解释的构成要素增多了,增加了两个元素□和R,且相同要素V的作用范围扩大了;根据语义解释能够得出的永真式的数量增多了,故前者比后者的解释能力也大大增强。