>>66
背理法（帰謬法）は、矛盾を導き出すことで命題の否定が間違っていることを証明する方法です。　証明法の一つであり、正否を問えるようなものでは有りません。