論理的思考法/演繹的推論
提供: Internet Web School
(版間での差分)
| 10 行: | 10 行: | ||
これらの命題が正しければ | これらの命題が正しければ | ||
| - | *東京都民のうち少なくとも2人は髪の毛の本数は同じである. | + | *(3)東京都民のうち少なくとも2人は髪の毛の本数は同じである. |
この命題の正しさを示すには背理法による. | この命題の正しさを示すには背理法による. | ||
| - | + | 命題(3)の否定が成り立つものとする。 | |
| - | の否定が成り立つものとする。 | + | |
| - | |||
| - | は厳密に書くと | + | 命題(3)は厳密に書くと |
「東京都民A,Bがいて,A,Bは同一人物でなくかつA,Bの髪の毛の本数は同じ」 | 「東京都民A,Bがいて,A,Bは同一人物でなくかつA,Bの髪の毛の本数は同じ」 | ||
| 27 行: | 25 行: | ||
このこの命題の否定は | このこの命題の否定は | ||
| - | **( | + | **(4)任意の東京都民A,Bについて,A,Bが同一人物でなければ A,Bの髪の毛の本数は等しくない． |
である. | である. | ||
| - | ここでは( | + | ここでは(4)が正しいと仮定している． |
| 39 行: | 37 行: | ||
| - | 都民全員に付与した背番号は( | + | 都民全員に付与した背番号は(4)の仮定により誰一人として同じものはなく, |
一人一人に唯一の背番号が振られる. | 一人一人に唯一の背番号が振られる. | ||
| 52 行: | 50 行: | ||
この矛盾は | この矛盾は | ||
命題「東京都民のうち少なくとも2人は髪の毛の本数は同じである.」 | 命題「東京都民のうち少なくとも2人は髪の毛の本数は同じである.」 | ||
| + | |||
の否定が成り立つとしたことによっている. | の否定が成り立つとしたことによっている. | ||
従って東京都民のうち少なくとも2人は髪の毛の本数は同じである.」が正しい. | 従って東京都民のうち少なくとも2人は髪の毛の本数は同じである.」が正しい. | ||
| + | |||
| + | |||
| + | |||
| + | 上記の 命題(1),(2)が正しければ命題(3)が正しいことを論証した過程は | ||
| + | 論理の連鎖に依っている.命題(3)を否定した命題が正しいとして論理の連鎖を | ||
| + | つくり,矛盾を導すことによって命題(3)の正しさを証明した. | ||
2020年11月28日 (土) 10:34時点における版
演繹的推論は論理的思考の根幹である.
簡単な例を挙げる。
- (1)人間の髪の毛の本数は100万本以下である.
- (2)東京都民の人口は1200万人である.
これらの命題が正しければ
- (3)東京都民のうち少なくとも2人は髪の毛の本数は同じである.
この命題の正しさを示すには背理法による.
命題(3)の否定が成り立つものとする。
命題(3)は厳密に書くと
「東京都民A,Bがいて,A,Bは同一人物でなくかつA,Bの髪の毛の本数は同じ」
である．
このこの命題の否定は
- (4)任意の東京都民A,Bについて,A,Bが同一人物でなければ A,Bの髪の毛の本数は等しくない．
である.
ここでは(4)が正しいと仮定している．
東京都民一人一人にその人自身の髪の毛の本数によって背番号を振ることを考える.
例え
ば毛の本数が0本の人には背番号0を，1000本の人には背番号1000を振る。
都民全員に付与した背番号は(4)の仮定により誰一人として同じものはなく,
一人一人に唯一の背番号が振られる.
(1)人間の髪の毛の本数は100万本以下である.が正しいとしているから 振られる番号は0番から100万まででの100万+1通りである.
都民全員に付与した背番号はそれぞれに唯一であるから 都民全員の数は100万人+１人である.
しかしこれは(2)東京都民の人口は1200万人である.にこれは矛盾する.
この矛盾は 命題「東京都民のうち少なくとも2人は髪の毛の本数は同じである.」
の否定が成り立つとしたことによっている.
従って東京都民のうち少なくとも2人は髪の毛の本数は同じである.」が正しい.
上記の 命題(1),(2)が正しければ命題(3)が正しいことを論証した過程は 論理の連鎖に依っている.命題(3)を否定した命題が正しいとして論理の連鎖を つくり,矛盾を導すことによって命題(3)の正しさを証明した.
