概念タイピング背理法
関連タイピング
-
しょーもないっす。
プレイ回数4417 数字115打 -
簡単な短文タイピングです。
プレイ回数21万 かな60秒 -
メターモン
プレイ回数1172 短文8打 -
リズム天国ミラクルスターズのどれか１つだよ！
プレイ回数1263 873打 -
あを連打するだけなのでやって下さい。
プレイ回数236 276打 -
0を1回打つだけ！
プレイ回数3.4万 短文1打 -
何故か口ずさんでしまうような曲です！
プレイ回数4556 歌詞167打 -
とにかく連だぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ
プレイ回数716 長文906打
問題文
ふりがな非表示
ふりがな表示
(はいりほう)
背理法
(あるはんだんをひていし、)
ある判断を否定し、
(それとむじゅんをなすはんだんをしんとすれば、)
それと矛盾をなす判断を真とすれば、
(それからふじょうりなけつろんがみちびきだされることをあきらかにすることによって、)
それから不条理な結論が導き出されることを明らかにすることによって、
(はらはんだんがしんであることをしめすしょうめいほう。)
原判断が真であることを示す証明法。