有“创造力”的自然演绎推理 (Natural Deduction as a Creative Process)

Abstract

本文首先分析了使用符号构造定理证明需要的三种技能，强调学生从教学中难以具备读懂和构造严格形式证明的能力，进而分析了现有的解决方法和其不足，提出了使用根岑形式的自然演绎，并用证明生成的顺序去给证明的序列标号而不是按从头到尾的顺序标号的教学思想。对数学功底较差的学生教授逻辑一直是业界难题。本文对此进行了深入分析并提供了建设性意见。