一、这是什么
真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
二、核心要点
- n 个支命题需要 2 的 n 次方行。
- 真值全为真的命题形式是重言式。
- 真值全为假的是矛盾式，其余是可满足式。
- 两个命题形式等值，当且仅当其真假取值完全相同。
三、为什么重要
「真值表与重言式」属于复合命题与演绎推理板块的基础内容。复合命题由简单命题加逻辑联结词构成。它的真假由支命题的真假与联结词共同决定，因此可以用真值表精确刻画。
一句话记住它真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
四、容易踩的坑
- 漏写真假组合的行，导致判定结论不可靠。
五、相关联的术语
充分条件、相容选言、真值表、二难推理、联言命题。学习本课时，请把「真值表与重言式」放在这组术语的关系网里理解，而不是孤立记忆。