naenaea の回答履歴

　背理法とは対偶がその原理だと私は思っています。つまり対偶と背理法は基本的に同一と言う説です。 　ところが違うと言う方が多いようで、その原理式は((A⇒￢B)∧(A⇒B))⇒￢Aだというのです。 その意味がわかる方は詳しく説明してください。私はこの式は間違いと思います。