背理法と⇒がよくわからないんですけど
背理法ってのは、命題Pを証明するのに¬P⇒Pを示して矛盾を示してPが真だと示すってことなんですよね？
でもPは真で¬Pは偽なら偽⇒真で、仮定が偽ならなんでも真になるって聞いたんで、これは真になるので、別にPが偽でなくても¬Pが真と仮定した時点で¬P⇒Pは真になるんだからPがなんであっても真だと証明できるってことじゃないんですか？
なんか自分でも何言ってんのかよくわかってないんですがよろしくお願いします