该书主要讲到了三方面的知识点:
(1)第一个知识点叫真值函数。真值说的就是真与假这两个值。一个命题的真值为真,就是说这个命题符合事实。一个命题的真值为假,那它就不符合事实。而函数就像是机器,输入一些值后,就会输出一些值。文中也提高了三个真值函数:
- 否定:是指把输入的值变成相反的值。输入真就输出假,输入假就输出真。
- 合取:是要求输入的命题全都为真,输出才为真。哪怕只输入了一个假命题,整体上也会输出假命题。
- 析取:这个函数只要输入至少1个真命题,整体上就会输出真命题;要全都输入假命题,整体上才会输出假命题
(2)第二个知识点叫模态算子。模态算子一共只有两个,一个叫「必然」,另一个叫「可能」。两者可以互相转化,必然为真,也就是不可能不为真。为了理解模态算子,需要了解可能世界。可能世界是我们设想出来的世界。如果在所有的可能世界中,我都是萌妹子,那我就必然是萌妹子。如果在某一个可能世界中,我是萌妹子,那我就可能是萌妹子。也就是说,必然要求所有可能世界都怎么样,而可能只要求至少有1个可能世界的情况是怎么样的。
(3)第三个知识点叫模糊性。日常生活中的大部分说法都是模糊的,也就是说,微小的变化并不会导致这种说法不成立。一个小孩长大一天后,还是小孩。一个穷人多了一元钱后,还是穷人。但是,在某些情况下,我们又必须追求精确性,排除模糊性。此时就需要武断地划分出一些边界线。比如,大于等于 60 分就是合格,小于 60 分就是不合格。虽然 60 分和 59 分看起来没有太大的差别。