概念タイピング背理法
関連タイピング
-
基礎練習にどうぞ！
プレイ回数4637 長文60秒 -
簡単な短文タイピングです。
プレイ回数20万 かな60秒 -
あいうえお1回！！いまなら1位になれるかも！？
プレイ回数2187 短文5打 -
10000000000％一位は無理だよ
プレイ回数189 396打 -
フォトな
プレイ回数1523 かな370打 -
記号なし
プレイ回数206 歌詞640打 -
とっても楽しいよ！
プレイ回数275 短文63打 -
カラフルピーチのるなさんの名言集
プレイ回数7619 かな186打
問題文
ふりがな非表示
ふりがな表示
(はいりほう)
背理法
(あるはんだんをひていし、)
ある判断を否定し、
(それとむじゅんをなすはんだんをしんとすれば、)
それと矛盾をなす判断を真とすれば、
(それからふじょうりなけつろんがみちびきだされることをあきらかにすることによって、)
それから不条理な結論が導き出されることを明らかにすることによって、
(はらはんだんがしんであることをしめすしょうめいほう。)
原判断が真であることを示す証明法。