2 章(第1/2 页)

1，它就会输出2；往里面输入67，它就会输出68。或者，f（x的爸爸）这个函数，往里面输入曹植，它就会输出曹操；往里面输入孙权，它就会输出孙坚。

逻辑学中的真值函数与数学中的函数很相似，也是输入一些值，输出一些值。在这里，我们需要认识3个最常见的真值函数。第一个叫做「否定」，它的运算方式很简单，如果命题P是真的，那么命题P的否定就是假的。如果命题P是假的，那么命题P的否定就是真的。也就是说，否定这个真值函数机器，会将输入进去的句子的真值倒转过来。输入真就会输出假，输入假就会输出真。

比如，「北京是中国的首都」，这个命题事实上是真的。那么输入否定这个真值函数机器后，这个命题就变成了「北京不是中国的首都」，那它就是假的。而「上海是俄罗斯的首都」这个命题事实上是假的，在输入否定这个真值函数机器后，变成了「上海不是俄罗斯的首都」，也就变成了真的。

第二个真值函数叫「合取」，「合并」的「合」，「录取」的「取」。「合取」这个真值函数机器，要求往里面输入的语句都是真的，它才会输出真这个真值。如果往里面输入的语句，哪怕只有1个是假的，那它就会输出假这个真值。

比如，「AndyLee是男性」「AndyLee学过心理学」「AndyLee学过逻辑学」这三个命题都是真的，把它们都输入合取机器，就变成了「AndyLee是学过逻辑学和心理学的男性」，这个命题也是真的。而「AndyLee是女孩子」「AndyLee学过心理学」「AndyLee学过逻辑学」这三个命题，至少有1个不是真的。它们合取起来，变成了「AndyLee是学过心理学和逻辑学的女孩子」，这个命题虽然部分是真的，但整体看来是假的。

第三个真值函数叫「析取」，「分析」的「析」。往析取这个真值函数机器中输入的语句，只要有1个是真的，整体就是真的。全部是假的，整体才是假的。析取这个专业的说法，也可以读作「或者」。所以下面我们将它读作「或者」。

举几个例子。AndyLee是摇滚歌手，AndyLee是萌妹子，AndyLee是编程专家。这三句话都是假的，那么析取起来，变成「AndyLee是摇滚歌手或编程专家或萌妹子」，整体也是假的。但如果换成，「AndyLee是摇滚歌手或编程专家或男性」，由于「AndyLee是男性」这个命题是真的，那么整个复合命题，虽然大