訂正
>>120
>>122は勢いでカキコしたから意味不明OTZ
改めて

ａが有理数である事はａ=3/2であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
ａ=3/2である事はａが有理数であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？

それを踏まえ
　『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
　√2≠3/2だからといって√2が無理数である証明した事にはならない。
と>>120を交えて返答請う。

余談ではあるが「十分条件であるが、必要条件ではない」という表現は違和感ない？