在“可能世界”概念基础上，当我们说一个命题是逻辑上的必然时，我们指这个命题在所有可能世界中真