初中几何证明探源

本文主要是从逻辑的角度来探讨什么是几何的形式证明，以及如何来进行推理、构造证明的过程。首先引入了命题逻辑的初步知识，由此得到了相应的一些运算，利用这些相关概念以及运算探讨了什么是形式证明如何推理，最终从逻辑结构上弄清了证明的过程是一系列命题所组成的一个序列，并通过初中几何证明的具体实例加以证实。