掌握「直接论证与间接论证」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：反证法先假定论题假，推出矛盾。
- 第 2 步：选言证法先列出所有可能，再逐一排除。
- 第 3 步：间接论证的可靠性依赖前提的穷尽性。
每一步在防什么错
- 顺序不能颠倒：反证法先假定论题假，推出矛盾。 是后面所有步骤的前提。
- 中间要让结论可检验：选言证法先列出所有可能，再逐一排除。
- 最后用反例自查：反证法推出矛盾时，忽略矛盾可能出在前提而不在假设。
配套工具与术语
反驳论据、间接论证、反驳论证方式、反驳论题、图尔敏模型。
自查口诀把「直接论证与间接论证」的判定过程写下来，能写出完整的第 1 到第 3 步，就说明真的掌握了；只能说出结论，多半还是背下来的。