背理法不要論ってどうなん？

[0331 １３２人目の素数さん 2020/03/01(日) 16:20:27.57 ID:VqKy47Va]

>>329
>（対偶法） ”¬Q：xは有理数” → ”¬P：x=√2は解を持たない”
>ってことだけど、そんな証明は迂遠ですね

xは有理数　⇒　(x^2<2∨x^2>2)　なら　意味あるね