上一节,你认清了单个命题。可真实的思想,几乎都是好几个命题连成的——"下雨且降温""努力或走运""如果…那么…"。一旦连接的方式定死,复合命题的真假,就能像算术一样算出来。
再复杂的逻辑关系,都能拆成五种最基本的连接。记住它们,等于拿到了拼装一切判断的零件:
把命题记成字母 P、Q,连接记成符号——不是为了显高深,是为了没有二义性:P∧Q,读不出第二种意思。
连接定死之后,复合命题的真假,就只取决于每个简单命题的真假组合。把所有组合列出来、挨个填上结果——这张表,就叫真值表。
真值表的好处,是把"这句到底真不真",从感觉变成了查表——不靠灵感,照着填就有答案。顺带一提:P∧¬P(既真又假)在真值表里永远是假——这就是矛盾律,也是反证法的地基。
这套工具一落到生活里,立刻有意思。日常的"但是",逻辑上就是合取。领导要批评你,常先夸两句,再来个"但是……"——前面的表扬,是真值早定为真的场面话;唯有"但是"后面那句 P,才是他真正要说的。
给一句拗口的复合命题,用真值表把它算清楚——看它和你凭感觉以为的,差多远。
这正是蕴含最反直觉、最容易吵架的地方:"如果没复习就考不好",在他复习了的情况下,无论结果如何都成立——它压根没对"复习了"的人做任何承诺。这种藏在日常语言里的陷阱,真值表把它算得明明白白。
抓一句带"且 / 或 / 非 / 如果"的话,先把简单命题拆出来记成 P、Q,写出它的逻辑式,再列一张真值表,把每种组合的真假填满。填完你常会发现:原来这句话为真的条件,和你凭感觉以为的,不一样。
真值表是逻辑里少有的纯机械工具——不需要灵感,照着填就有答案。它的意义不在让你天天列表,而在让你确信:一句复合判断的真假,是可以被算清楚的,不靠感觉、不靠嗓门。这份"可计算的确定性",正是逻辑与数学最让人安心的地方。
← 回到逻辑