例题
题目下面关于「真值表与重言式」的说法中，正确的是？
A. 负命题是否定一个命题所得的命题；德摩根律给出否定合取与析取时的等值转换。 B. 选言命题断定若干可能情况中至少有一种存在，分相容选言与不相容选言。 C. 二难推理由两个假言前提和一个选言前提构成；归谬法与反证法都是间接推出结论的经典形式。 D. 真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
A. 负命题是否定一个命题所得的命题；德摩根律给出否定合取与析取时的等值转换。 B. 选言命题断定若干可能情况中至少有一种存在，分相容选言与不相容选言。 C. 二难推理由两个假言前提和一个选言前提构成；归谬法与反证法都是间接推出结论的经典形式。 D. 真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
逐项解析
- A 项不选：负命题是否定一个命题所得的命题；德摩根律给出否定合取与析取时的等值转换。该表述属于相邻知识点的内容，或把结论说绝对了。
- B 项不选：选言命题断定若干可能情况中至少有一种存在，分相容选言与不相容选言。该表述属于相邻知识点的内容，或把结论说绝对了。
- C 项不选：二难推理由两个假言前提和一个选言前提构成；归谬法与反证法都是间接推出结论的经典形式。该表述属于相邻知识点的内容，或把结论说绝对了。
- D 项正确：真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。这一点与本知识点完全一致。
小结
本题答案是 D。本题直接考查「真值表与重言式」的定义。真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
举一反三遇到同类题目时，先定位考查的是「真值表与重言式」的哪一层含义：是n 个支命题需要 2 的 n 次方行，还是它在实际使用中的边界条件。