推出符号=>教学探讨

统编教材从三角形一章末尾,在命题的证明中开始使用逻辑推演符号=>”(蕴涵之意)读作“推出”,如“A=>B”,代表了“∵有A,∴有B”,反映着A、B之间的因果关系。“推出”符号的使用,可缩简证明过程,显示出证明过程的逻辑结构,使证明的层次分明,简明扼要,清晰易懂。