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