略談几何証明的邏輯联系

中学几何的理論与初等邏輯(形式邏輯)紧密地联系着。关于邏輯学中的名詞术語,一般不宜在几何課中向学生介紹,但对于教师本身来說,应当不断加强邏輯理論的修养,才可能有效地培养学生的邏輯思維,提高他們的推理論証能力。本文試从以下几个方面簡要地談談邏輯的証明在几何証明中的体現。一、証明的涵义与結构人們对于客观事物的属性的肯定或否定的思維形式叫做判断。引用其他真确的判断來証实某一判断的真确性,叫做对于这一判断的証明(本文前后所称証明同此义)。几何教材中便是引用前面的定义、公理、定