
No.5
- 回答日時:
あなたの名前が山田太郎だとします。
そして、山田家は父、母、兄、弟との5人家族だとします。
(一般の人々)>(山田家の人々)>(山田太郎君)の包含関係を
図に描いてみてください。
山田太郎君は山田家の一人です。・・・・・命題とします
山田家の一人なら山田太郎君です・・・・・逆
山田太郎君でなければ山田家の人でない・・裏
山田家の人でないなら山田太郎君でない・・対偶
ここで、命題と対偶が同値であること図で確認して下さい。
そして、背理法は、対偶を証明する事で命題の真を導くので、絶対的な証明法です。
具体的には、上の命題を証明するためには、「山田家以外には山田太郎は存在しない」を証明すれば、命題が真である事がいえます。
もとろん「おれも山田太郎だ」という人は「ニセ山田太郎」とみなします。
もうひとつ具体例を示すと、「犯人は、この時刻に現場にいた」が
真実ならば、「この時刻に現場にいなかった容疑者は犯人でない」が証明できます。
具体的なご回答をありがとうございました。
とても、身近な感じで、工夫して下さり、ありがとうございました。
数学は、むずかしいですね。
ありがとうございました。
No.4
- 回答日時:
命題Aが真、偽のいずれかを必ず取るとしましょう。
今回は真を1、偽を0をしましょう。
Aが真のときA=1
Aが偽のときA=0
と書くことにしましょう。
また否定をnot(A)と表記し、真偽が逆転されるので
A=1ならnot(A)=0
A=0ならnot(A)=1
です。
論理演算をします。(orを∪、andを∩としましょう)
A∪not(A) = 1 …(*)
が常に成立します。(これが成り立たないという学者もいますがとりあえずは無視しましょう)
orの性質上
A∪B=1 かつ B=0 ならば A=1でなければならないので
(*)でnot(A)=0ならA=1でなければなりません。
なので、否定したものを仮定して論理が矛盾し偽であることを示す背理法が成立することになります。
親切に分かり易い詳しいご回答をありがとうございました。
何故背理法が成立するのかよく分かりました。
お世話になりました。
ありがとうございました。感謝します。
No.3
- 回答日時:
端的に言えば、「そのように仮定したから」です。
背理法が成り立つというのは、数学に触れる多くの人に共通の信念で、
それ以上のものではありません。(私も、それを信じていますが。)
法則的…というか、形式的には、それは、論理系の公理のひとつとして
仮定されたものです。そのような公理(排中率)を認めない立場の論理学
もあり、それに従う数学もあります。↓
参考URL:http://ja.wikipedia.org/wiki/%E7%9B%B4%E8%A6%B3% …
ご回答をありがとうございます。
違った考え方まで、ご紹介いただき、ありがとうございました。
(ちょっと、驚きでした。)
数学って、すごいなぁと思いました。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
xは実数とする。次の命題の真偽...
-
必要条件、十分条件についてで...
-
窮極の証明不可能方程式
-
カントールの対角線論法につい...
-
数学の得意な方、時間があれば...
-
有理数を文字置き→互いに素な整...
-
天使と悪魔(論理学)
-
pならばqである の否定について
-
数学で出てくる十分性と必要性...
-
数学の背理法について質問です...
-
アキレスは亀を追い越せること...
-
高校数学 ドモルガンの法則につ...
-
すべて、ある、について
-
数学的帰納法について質問があ...
-
虚数単位i について「i =√-1<=>...
-
高学歴でも使えない人は使えな...
-
数学教えてください
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
なぜ独身だと養子が持てないの...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の背理法について質問です...
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
nは自然数 n^2と2n+1は互いに素...
-
数Ⅰの問題です x,yは実数、nは...
-
n=3の倍数ならば、n=6の倍数で...
-
a,bが有理数として√6が無理数を...
-
a,bが有理数のとき、a+b√2=0 な...
-
有理数を文字置き→互いに素な整...
-
高校数学です!m,nを整数とする...
-
ウェイソン選択課題について悩...
-
命題論理に関する英単語
-
数学の論理学的な質問なんです...
-
命題を証明せよとはどういう意...
-
定理、命題、補題、系について...
-
背理法について
-
数学B漸化式です。 a1=1/5, an+...
-
数学的帰納法の根本的な疑問な...
-
数学で出てくる十分性と必要性...
おすすめ情報