削除された内容 追加された内容
椎楽 (トーク | 投稿記録)
→‎修正予定: 高等学校数学A/集合と論理で某氏が書こうとしていたコラムを記述開始
椎楽 (トーク | 投稿記録)
→‎修正予定: バグ?の修正
240 行
デカルトの時代、もはやスコラ学は
}}
 
{{コラム|背理法と日常的な思考 |
 
{{コラム|背理法と日常的な思考 |
背理法は多くの高校生が苦手としています。「Aである」ことを証明するために、わざわざ「Aでない」と仮定して矛盾を導くという論理の展開が不自然に感じられるようです。しかし、背理法の発想は私たちの日常的な思考でもよく使われています。ここでは、その例をいくつか紹介しましょう。
 
246 ⟶ 248行目:
 
:私が犯人だと仮定すると、A駅にいたことになる。
:しかし私はB駅にいた(=A(=A駅にいなかった)
:私が同じ時間にA駅とB駅の両方にいることはできないので、当初の仮定と矛盾する。
:ゆえに私が犯人だという仮定がまちがっていたので、私は犯人ではない。