背理法に関する疑問を書いてみます。背理法に関する説明はウィキペディアから引用しておきます。 背理法（はいりほう、reduction to absurdity、reductio ad absurdum(ラテン語)）とは、ある事柄 P を証明するために、P の否定 ¬P を仮定すると、矛盾（ある…