4 章(第1/2 页)

的确是这样的。

也就是说，虽然很多说法都是模糊的，但我们在特定的情况下，又必须划分出精确的标准。本书中有个例子，说的是「新自行车」。如果我们去自行车店里买新自行车，会期待这个自行车是从来没用过的。但如果是参加自行车比赛推荐用新自行车，那我们会认为，9成新的车也算是新自行车，它的磨损并不严重，和崭新的自行车一样，都能赛出好成绩。

总之，在不同的情况下，我们对精确性的追求不一样。有些时候要求特别精确，一点模糊性都不能有。而有些时候，把话说得特别精确，又会显得没意思。比如，小明对小美说：「我对你的爱，就像月亮一样，永不改变」。但是，仔细想想，月球大概在45亿年前才形成，往后一直在慢慢变化。月球上有无数环形山，它们是被陨石撞出来的大坑。说不定很久以后，月球就会变得和今天差别很大了。但是，虽然精确地说，月亮并非永不改变，但是在说浪漫情话的情况下，我们就不要在意这些细节了。

以上就是我今天与大家分享的三个知识点，最后再来回顾一下吧。

第一个知识点叫真值函数。真值说的就是真与假这两个值。一个命题的真值为真，就是说这个命题符合事实。一个命题的真值为假，那它就不符合事实。而函数就像是机器，输入一些值后，就会输出一些值。我们了解了3个真值函数。第一个叫「否定」，也就是把输入的值变成相反的值。输入真就输出假，输入假就输出真。第二个叫「合取」，要求输入的命题全都为真，输出才为真。哪怕只输入了一个假命题，整体上也会输出假命题。第三个叫「析取」。这个函数只要输入至少1个真命题，整体上就会输出真命题；要全都输入假命题，整体上才会输出假命题。

第二个知识点叫模态算子。模态算子一共只有两个，一个叫「必然」，另一个叫「可能」。两者可以互相转化，必然为真，也就是不可能不为真。为了理解模态算子，我们又了解了可能世界。可能世界是我们设想出来的世界。如果在所有的可能世界中，我都是萌妹子，那我就必然是萌妹子。如果在某一个可能世界中，我是萌妹子，那我就可能是萌妹子。也就是说，必然要求所有可能世界都怎么样，而可能只要求至少有1个可能世界的情况是怎么样的。

第三个知识点叫模糊性。日常生活中的大部分说法都是模糊的，也就是说，微小的变化并不会导致这种说法不成立。一个小孩长大一天后，还是小孩。一个穷人多了一元钱后，还是穷人。但是，在