查看全文
假的，那它就会输出假这个真值。
比如，「Andy Lee 是男性」「Andy Lee 学过心理学」「Andy Lee 学过逻辑学」这三个命题都是真的，把它们都输入合取机器，就变成了「Andy Lee 是学过逻辑学和心理学的男性」，这个命题也是真的。而「Andy Lee 是女孩子」「Andy Lee 学过心理学」「Andy Lee 学过逻辑学」这三个命题，至少有 1 个不是真的。它们合取起来，变成了「Andy Lee 是学过心理学和逻辑学的女孩子」，这个命题虽然部分是真的，但整体看来是假的。
第三个真值函数叫「析取」， 「分析」的「析」。往析取这个真值函数机器中输入的语句，只要有 1 个是真的，整体就是真的。全部是假的，整体才是假的。析取这个专业的说法，也可以读作「或者」。所以下面我们将它读作「或者」。
举几个例子。Andy Lee 是摇滚歌手，Andy Lee 是萌妹子，Andy Lee 是编程专家。这三句话都是假的，那么析取起来，变成「Andy Lee 是摇滚歌手或编程专家或萌妹子」，整体也是假的。但如果换成，「Andy Lee 是摇滚歌手或编程专家或男性」，由于「Andy Lee 是男性」这个命题是真的，那么整个复合命题，虽然大部分是假的，但整体是真的。
关于真值函数这个知识点，我们就先说到这。接下来，让我们来看第二个知识点，也就是模态算子。
在现实生活中，如果我们说「Andy Lee 是萌妹子，Andy Lee 是编程专家」，那这两句话都是不符合事实的，也就是假的。但如果我们说，「Andy Lee 可能是萌妹子，Andy Lee 可能是编程专家」，那这两句话就不一定是假的了。
同样的，我们说「Andy Lee 是男性，Andy Lee 学过心理学」这两句话是真的，但如果加上必然二字，变成「Andy Lee 必然是男性，Andy Lee 必然学过心理学」，那这两句话又不一定是真的了。
「必然」和「可能」这两个词，就是模态算子。这两个模态算子可以互相转化。如果 1+1 必然等于 2，那么 1+1 就不可能不等于 2。也就是说，「必然」就相当于「不可能不」。而说「小张可能是大美女」，也就是说「小张并非必然不是大美女」。 「可能」相当于「不必然不」。说起来比较拗口，但用逻辑符号写下来的话，会很直观。
从命题实际上的真值，我们无法推导出命题加上模态算子后的真值。比如，我实际上是男性，但我并不必然是男性，毕竟我有可能去做变性手术。这说明，实际上真，不代表必然真。但是，1+1 实际上等于 2，而且 1+1 也必然等