掌握「假言推理：有效式与谬误式」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：肯定前件式：由 p 与「如果 p 那么 q」推出 q。
- 第 2 步：否定后件式：由非 q 与「如果 p 那么 q」推出非 p。
- 第 3 步：肯定后件式是无效的。
- 第 4 步：否定前件式是无效的。
每一步在防什么错
- 顺序不能颠倒：肯定前件式：由 p 与「如果 p 那么 q」推出 q。 是后面所有步骤的前提。
- 中间要让结论可检验：否定后件式：由非 q 与「如果 p 那么 q」推出非 p。
- 最后用反例自查：把肯定后件式当作有效推理。
配套工具与术语
充要条件、负命题、相容选言、假言命题、必要条件。
自查口诀把「假言推理：有效式与谬误式」的判定过程写下来，能写出完整的第 1 到第 4 步，就说明真的掌握了；只能说出结论，多半还是背下来的。