关于一个等价定理的证明

一般的中学数学教材与中学数学教学法文献都把数学命题归结为“若A则B”的形式。把它称为原命题,并把“若非B则非A”(简记为“若B则A”)称为原命题的逆否命題。对于原命题与它的逆否命题的等价(同真同假),很多中学数学教材与中学数学教学法文献都作了论证。可是这些论证大都是错误的,下面准备就最常见的对“原命题与逆否命题等价”的一个证明作一些逻辑分析。