背理法って「AならばBである」を証明するとき
「AならばBではない」が矛盾することを示すんですよね。

でも「Bではない」が矛盾するからといって「Bである」とは限らないですよね？

背理法が使えるのは、「AならばBである」「AならばBではない」のどちらか片方だけが正しいと明らかなときだけ、と考えていいですか？