把「真值表与重言式」放到真实场景里,它承担的是"提供判断依据"的角色。
典型场景
- 写论证或做分析报告时,用n 个支命题需要 2 的 n 次方行。把话说清楚;
- 与他人讨论出现分歧时,回到真值表与重言式的定义重新对齐概念;
- 复核结论时,用漏写真假组合的行,导致判定结论不可靠。作为自查项。
一个完整例子
假设你正在处理一个与「真值表与重言式」有关的实际问题:先明确判断对象,再套用判定要点——n 个支命题需要 2 的 n 次方行。 然后检查是否触发了常见错误——漏写真假组合的行,导致判定结论不可靠。 最后给出结论并注明适用条件。
落地检查清单
- 概念用对了吗?真值表穷尽列出支命题真假组合下复合命题的真值;永远为真的命题形式叫重言式。
- 依据写出来了吗?n 个支命题需要 2 的 n 次方行。
- 边界说清楚了吗?漏写真假组合的行,导致判定结论不可靠。
- 有没有过度外推?结论的适用范围要和前提一致。
进阶提示在复合命题与演绎推理的综合应用中,「真值表与重言式」往往不是单独出现的,它会和必要条件、真值表、联言命题、充要条件等一起构成完整的分析链条。