>>334 補足
命題A：√2は無理数
をきちんと書き直すと

命題A’；
P：x=√2は x^2=2の正の根
　↓
Q：x=√2は無理数

命題A’の対偶
¬Q：x=√2は無理数ではない（有理数）
　↓
¬P：x^2=2を満たせない（有理数解は無い）

明らかに
『¬Q：x=√2は無理数ではない（有理数）』
は対偶命題から 自然に導かれるゆえ
決して不自然とはいえない

x=√2は無理数ではない（有理数）から
x=a/b も自然に導かれる

ゆえに √2＝a/b が不自然で無理な仮定だというのは
いいがかりにすぎない！（＾＾