佚名提示您：看后求收藏（启明小说www.qmxs.net），接着再看更方便。
在现实生活中，如果我们说「AndyLee是萌妹子，AndyLee是编程专家」，那这两句话都是不符合事实的，也就是假的。但如果我们说，「AndyLee可能是萌妹子，AndyLee可能是编程专家」，那这两句话就不一定是假的了。
同样的，我们说「AndyLee是男性，AndyLee学过心理学」这两句话是真的，但如果加上必然二字，变成「AndyLee必然是男性，AndyLee必然学过心理学」，那这两句话又不一定是真的了。
「必然」和「可能」这两个词，就是模态算子。这两个模态算子可以互相转化。如果1+1必然等于2，那么1+1就不可能不等于2。也就是说，「必然」就相当于「不可能不」。而说「小张可能是大美女」，也就是说「小张并非必然不是大美女」。「可能」相当于「不必然不」。说起来比较拗口，但用逻辑符号写下来的话，会很直观。
从命题实际上的真值，我们无法推导出命题加上模态算子后的真值。比如，我实际上是男性，但我并不必然是男性，毕竟我有可能去做变性手术。这说明，实际上真，不代表必然真。但是，1+1实际上等于2，而且1+1也必然等于2。在这里，这个数学公式实际上真，而且它也必然真。
要想完全理解模态算子，我们需要用到「可能世界」这个概念。「可能世界」和科幻电影中的平行宇宙有点相似，又和物理学里的多重宇宙很像。总之，我们可以设想一个可能存在的世界，这个世界与我们这个现实世界非常相似，但又不一定完全一样。在那个可能世界里，也有太阳系和地球，地球上刚好也演化出了生物，也形成了人类文明。这个人类文明的历史发展和我们现实世界几乎一模一样，其中也存在一个和我非常相似的人，也叫AndyLee。
在这种情况下，如果那个AndyLee是萌妹子，那我们就说「AndyLee可能是萌妹子」；如果那个AndyLee是编程高手，那我们就说「AndyLee可能是编程高手」。也就是说，「可能」这个模态算子的意思就是说，至少在一个可能世界中，语句符合那个可能世
