掌握「真值表与重言式」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：n 个支命题需要 2 的 n 次方行。
- 第 2 步：真值全为真的命题形式是重言式。
- 第 3 步：真值全为假的是矛盾式，其余是可满足式。
- 第 4 步：两个命题形式等值，当且仅当其真假取值完全相同。
每一步在防什么错
- 顺序不能颠倒：n 个支命题需要 2 的 n 次方行。 是后面所有步骤的前提。
- 中间要让结论可检验：真值全为真的命题形式是重言式。
- 最后用反例自查：漏写真假组合的行，导致判定结论不可靠。
配套工具与术语
假言命题、真值表、相容选言、不相容选言、充分条件。
自查口诀把「真值表与重言式」的判定过程写下来，能写出完整的第 1 到第 4 步，就说明真的掌握了；只能说出结论，多半还是背下来的。