0201132人目の素数さん垢版 | 大砲2018/07/08(日) 21:35:46.75ID:A5V/CLfK 背理法って、なんか二重否定の除去とそのロジックが似てない? 命題の否定を否定出来れば、その命題の真理値が真となるは、 結論の否定を用いて矛盾命題であることが示せれば、命題の証明となるのだから、 似ている感じもする。 逆問題だとまた違うだろうけど、それでも裏や反対、逆から考えるという 発想自体は似ていると思うので、背理法は数学らしいアプローチやね。 それと、なんで帰謬法という呼び方はあまりされないのかね