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