论文部分内容阅读
本文主要是从逻辑的角度来探讨什么是几何的形式证明,以及如何来进行推理、构造证明的过程。首先引入了命题逻辑的初步知识,由此得到了相应的一些运算,利用这些相关概念以及运算探讨了什么是形式证明如何推理,最终从逻辑结构上弄清了证明的过程是一系列命题所组成的一个序列,并通过初中几何证明的具体实例加以证实。
This article is mainly from the logical point of view to explore what is the formal proof of geometry, and how to reason, the process of constructing proof. First of all, by introducing the initial knowledge of propositional logic, some corresponding operations are obtained. Based on these related concepts and operations, we explore what is formal proof of reasoning, and finally we find out from the logical structure that the process of certification is a series of propositions Of a sequence, and confirmed by the concrete examples of junior high school geometry.