反证法与归谬法的现代分析

本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。

浅析反证法的逻辑基础

本文从数学教学出发,详尽地阐述了反证法的逻辑基础,以及对反证法教学的处理与认识。