首页/逻辑 · 复合命题与真值表
逻辑 · 命题怎么连

复合命题与真值表

把命题连起来,真假就有了算法
这一节要解决的
复杂的判断 = 简单命题,连起来

上一节,你认清了单个命题。可真实的思想,几乎都是好几个命题成的——"下雨降温""努力走运""如果那么…"。一旦连接的方式定死,复合命题的真假,就能像算术一样出来。

五种最基本的连接

再复杂的逻辑关系,都能拆成五种最基本的连接。记住它们,等于拿到了拼装一切判断的零件:

否定 ¬把真假反过来。"秦始皇是人"为真,"秦始皇不是人"就为假。
合取 ∧都真才真。"今天下雨,且降温"——只要有一件没发生,整句就假。
析取 ∨一个真就真。"太阳从西边出来,或海豚在草地奔跑"——两件都荒唐,才整句假。
蕴含"如果…那么…"。只有"前真后假"它才假——就是你在「翻译」里量过的充分条件。
等值同真同假,两个命题其实是一回事。

把命题记成字母 P、Q,连接记成符号——不是为了显高深,是为了没有二义性:P∧Q,读不出第二种意思。

真值表:把"真假"做成一张算法表

连接定死之后,复合命题的真假,就只取决于每个简单命题的真假组合。把所有组合列出来、挨个填上结果——这张表,就叫真值表

合取 P∧Q:P、Q 各有真假,共 2×2=4 种组合。唯有 P 真且 Q 真,P∧Q 才真;其余三种,全假。

真值表的好处,是把"这句到底真不真",从感觉变成了查表——不靠灵感,照着填就有答案。顺带一提:P∧¬P(既真又假)在真值表里永远是假——这就是矛盾律,也是反证法的地基。

一个连接词,藏着半句真话:"但是"

这套工具一落到生活里,立刻有意思。日常的"但是",逻辑上就是合取。领导要批评你,常先夸两句,再来个"但是……"——前面的表扬,是真值早定为真的场面话;唯有"但是"后面那句 P,才是他真正要说的。

听话听到"但是",前面统统可以划掉——那是合取里,不承重的那一半

示范算一个复合命题的真假

给一句拗口的复合命题,用真值表把它算清楚——看它和你凭感觉以为的,差多远。

"如果他没复习,那么他考不好。"—— 已知:他复习了。这句话,是真是假?
译成符号,再查规则
P=他复习了,Q=他考好了。原句是 ¬P → ¬Q。已知 P 真,则前件 ¬P 为
查蕴含
蕴含只有"前真后假"才假。如今前件 ¬P 是假——前件一假,整个蕴含恒为真。所以这句话:(哪怕他最后真没考好)。
真值表不讲人情

这正是蕴含最反直觉、最容易吵架的地方:"如果没复习就考不好",在他复习了的情况下,无论结果如何都成立——它压根没对"复习了"的人做任何承诺。这种藏在日常语言里的陷阱,真值表把它得明明白白。

怎么练

抓一句带"且 / 或 / 非 / 如果"的话,先把简单命题拆出来记成 P、Q,写出它的逻辑式,再列一张真值表,把每种组合的真假填满。填完你常会发现:原来这句话为真的条件,和你凭感觉以为的,不一样。

为什么练这个

真值表是逻辑里少有的纯机械工具——不需要灵感,照着填就有答案。它的意义不在让你天天列表,而在让你确信:一句复合判断的真假,是可以被算清楚的,不靠感觉、不靠嗓门。这份"可计算的确定性",正是逻辑与数学最让人安心的地方。

← 回到逻辑