论文部分内容阅读
引言反证法是数学证明的重要方法之一,也是中学数学教学的难点之一。反证法与直接证法在一定条件下能否互相转化,怎样使学生在熟悉直接证法的基础上,很快地理解和掌握反证法,都是应当探讨的问题。本文将从数理逻辑角度探讨几种类型的反证法与直接证法之间、
Introduction Anti-evidence is one of the most important methods of mathematical proof, and it is also one of the difficulties in teaching mathematics in middle school. Whether or not the counter-evidence method and the direct evidence method can be transformed into each other under certain conditions, how to make the students understand and master the counter-evidence method quickly on the basis of familiar with the direct evidence method is a problem that should be discussed. This article will discuss several types of counter-evidence and direct evidence from the perspective of mathematical logic.