关于命题“若A则B”的否定形式的讨论

数学中为了证明命题“若 A 则 B”为真,有时要采用反证法.所谓反证法,是要证明这个命题的否定形式为假.这里就有一个正确写出命题“若 A 则 B”的否定形式的问题.然而有很多人把一个命题的否定形式与这个命题的否命题混淆,因而把命题“若 A 则”(简记为“A→B”)的否定形式错误地写成它的否命题:“若 A 则非 B”(简记为“A→B”).这类错误在一些已出版的书籍中也时有所见.下面摘录一段某书在证明原命题和它的逆否命