#推理

形式逻辑：推理的好坏，可以被严格检验

Irving Copi 的《Introduction to Logic》把'一段推理是否成立'变成了一件可以被机械检验的事。它不给结论，只给判断结论的工具。