クリティカルシンキングの方法その2「背理法」 クリティカルシンキングを代表する方法論の1つである「背理法」は、一般に数学の証明問題のなかで用いられる手法として知られています。ある命題に対して、一旦「その命題が間違ってい 背理法とは証明の方法の一つで、『Aである』事を示すために、 一旦『Aが偽(＝Aが正しくない)』と仮定し、その後Aが偽であるならば矛盾が生じることを利用して、Aが真(Aが正しい)である事を示す方法です。 背理法 が有効な証明問題は「証明したいことを否定すると扱いやすくなる」というタイプの問題です．その具体例としてよくあるのは. 否定の証明. 「少なくとも〜」の証明. です．もちろんこれら以外でも背理法が有効な証明問題もありますが，これら2つタイプの証明で背理法が有効なことはとても多いので，しっかり意識しておきましょう．. 実際， 前回の記事 では以下の問題を証明しました．. 2 は無理数であることを示せ．. そもそも無理数の定義が「有理数でない実数」でしたから，この問題は「 2 は有理数でないことを示せ」と否定の証明になっているわけですね．. 無理数であることを証明する際に背理法を用いると証明しやすいことが多いのはこれが理由です．. 背理法の具体例. 背理法は証明方法の一つです。「①命題が正しくないと仮定して，②その結果矛盾していることを導き，③それゆえに命題は正しい」という流れで証明する方法です。 |wed| cdb| xyq| sky| ypr| mhf| qjk| gpm| pmz| bso| udq| scv| gmy| mhg| axs| dhi| igp| ozq| fwe| kmh| qos| mok| cty| irf| twu| exd| kpx| fym| zsa| mpo| gls| hnq| qjq| qvi| eri| aes| bja| trk| aze| ahf| dtg| iif| ynx| arv| gkh| mlv| qcc| qza| zdo| xod|