掌握「形式化方法」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：用符号代替具体词项，突出推理结构。
- 第 2 步：形式语言消除了自然语言的歧义。
- 第 3 步：形式化是数理逻辑的基本方法。
每一步在防什么错
- 顺序不能颠倒：用符号代替具体词项，突出推理结构。 是后面所有步骤的前提。
- 中间要让结论可检验：形式语言消除了自然语言的歧义。
- 最后用反例自查：以为形式化之后就可以完全不管原话的意思。
配套工具与术语
形式有效、排中律、同一律、充足理由律、逻辑变项。
自查口诀把「形式化方法」的判定过程写下来，能写出完整的第 1 到第 3 步，就说明真的掌握了；只能说出结论，多半还是背下来的。