- 127 名前：１３２人目の素数さん [2008/01/24(木) 00:35:48 ]
- 訂正
>>120
>>122は勢いでカキコしたから意味不明OTZ
改めて
ａが有理数である事はａ=3/2であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
ａ=3/2である事はａが有理数であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
それを踏まえ
『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
√2≠3/2だからといって√2が無理数である証明した事にはならない。
と>>120を交えて返答請う。
余談ではあるが「十分条件であるが、必要条件ではない」という表現は違和感ない？
