[過去ﾛｸﾞ] 背理法不要論ってどうなん？ (459ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14(2): 2018/05/18(金)11:20 ID:9WM3MLT9(1/3) AAS
それは背理法を使っていないのではなく、見かけを変えただけ
普通は最後に一度だけ「矛盾するので仮定は偽であった」と書くところを、推論の各ステップで何度も背理法を使っている
各ステップで使われる背理法の矛盾箇所は極めて単純なものなので、「矛盾するので仮定は偽であった」という文言を排しても読者に伝わる
そのため見かけ上では背理法を使っていないことになる
18: 2018/05/18(金)16:17 ID:xZaz6ACB(1/2) AAS
>>14
一応途中で間違った命題が入ってないんだから、背理法とは別モノでしょう
19: 2018/05/18(金)16:39 ID:xZaz6ACB(2/2) AAS
>>14
と、いうか各ステップで背理法を使っているというのはどういうこと？使わなくてもできると思うが
もちろん、"使おうと思えば"使えるというだけであって
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.161s*