以◇P表可能P，□P表必然P。 　　有下述关系: 　　1.□(P∧Q) = □P∧□Q 　　2.□P∨□Q□P(∨Q) 　　3.◇(P∨Q) = ◇P∨◇Q 　　4.◇(P∧Q)◇P∧◇Q 　　5.□(P→Q)□P→□Q 　　6.□P =◇P 　　7.□PP 　　8.P◇P 　　9.◇PP 　　10.P□P 　　11.◇(P∧Q)= □(P→Q) 　　12.□(P∧Q) = ◇(P∨Q) 　　13.◇(P∧Q) = □(P∨Q) 　　有一种观点认为, 命题逻辑是用来描述永恒或绝对真理的。模态逻辑和谓词逻辑是描述非永恒或相对真理的。