什么是逻辑的必然

举个例子，如果（如果P，那么Q）是真的，并且P是真的，那么Q是真的就是逻辑必然的。

” 必然“是一个模态概念。在真势模态逻辑（即将模态算子解释为必然或者可能）中，必然是针对框架（框架规定了可能世界之间的可及关系的类型）来说的，不同的框架定义不同的必然，因此存在着多种必然。比如说，X框架定义了X必然，这意思是说，在X框架中，P在可能世界w中是X必然真的，当且仅当，P在任何一个与w具有X框架规定的可及关系的可能世界中都为真。不同的框架之间由于属性不一样，因此，在某个框架上是必然真的命题在另一框架上可能就不是必然真的。而逻辑的必然是最强的必然，即，如果P是逻辑的必然真的，那么P在任何一个框架都是必然真的。这样解释是比较严格的，但过于复杂，用简单点的话解释就是，当我们说P是逻辑必然的真的时候，我们是说，对于任何一种可能性来说，P都不可能是假的。