質問: 背理法が成り立つ理由 ある命題で、背理法を用いて解くと、その命題が真であると言えるのがなぜなのかがわかりません。(解き方ではなくて、どうして背理法で真だと言えるのかが分からないのです。)背理法が成り立つ理由を教えて下さい。
回答: 言明aの否定 ¬a があり、¬a とaの和が全体であるとします。 そのとき¬aが不成立ならaが成立しなければなりません。 このとき言明aが初めから不合理であるという空集合は許されません。