あるテキストの「対偶法も背理法の一種として考えることが出来る」ということについての説明で
命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。
「pならばq」を背理法で証明するために「pならば q」を否定して「pかつ¬q」。
証明されている「¬qならば¬p」はpではないので
「pかつ¬p」となり矛盾。
背理法が成立して「pならばq」は真。
対偶法なら
「命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。」の段階で自動的に命題が真といっていい。
という説明があるのですが
なぜこれが「対偶法も背理法の一種として考えることが出来る」ということになるのか理解できず
出版社に問い合わせたところ
「対偶が成り立つので、矛盾が生じ、背理法が成立する。
よって、元の命題が成立する」
ということのようなのですがいまいち理解が出来ません。
私の考えでは、
対偶法による証明法の場合、対偶が証明された時点で自動的に命題は真である、と考えますが
対偶をつかって背理法によって命題が真であることを証明できるので
対偶が証明されたあと、自動的に命題が真であるということではなく
背理法によって命題が真であると言っているということが出来るので
対偶による証明法も一種の背理法と考えることができる
ということだと思ったのですが、出版社の説明と私の考えはどのあたりが違うのでしょうか?
私はあまり数学が得意ではなく、これも数Iのレベルのものなので
そんな私でも理解できるように説明していただけると助かります。
よろしくお願いします。
この質問とは違うのですが、これら関する質問を以前ここでさせてもらい、参考にさせてもらいました。
その時回答をしてくださった方ありがとうございました。
No.1ベストアンサー
- 回答日時:
証明論というジャンルに属する質問です。
どういう証明の方法があるか、どういう証明が正しいか
を数学の対象とするためには、証明とは何かを定義して
その上で議論しなければなりません。
証明に使える道具をリストアップして始めることになるのですが、
その際、証明の定義の中に対偶法と背理法は一方が含まれていれば
十分で、対偶法から背理法が、背理法から対偶法が
正しい証明だと証明できます。
「あるテキスト」の文章の前半は、
背理法を使って対偶法なしで済ます方法を説明しているのです。
反対に、証明の定義の中で対偶法の使用が許されている場合は、
背理法なしで済ますことができます。
「対偶法なら~自動的に命題が真といっていい」の部分は、
背理法がない証明の定義の下で対偶法を直接使う方法を指しています。
あなたの「考え」は、前半のほうの説明に沿っていますが、
テキスト後半の考えでもよいのです。どちらか一方を選ぶ必要があります。
どちらを選んでもいいということが、対偶法と背理法の等価性であり、
立場が違えば、「背理法も対偶法の一種」だとも言えるのです。
#余談ですが…
あなたのプロフィールを拝見しましたが、質問履歴が非公開になっており、
今回質問と関連ある以前の質問を確認できませんでした。
継続性のある質問をする場合は、あなたの悩んでいる箇所がどこかを
回答者が把握する助けとするために、質問履歴を公開するとよいです。
前回質問と同じ回答の繰り返しになることが避けられます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 数学で知識を整理したいです 同値性を意識する時はある命題の逆と同値になっていなければならないんですよ 5 2022/08/04 18:41
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 哲学 宇宙が存在し、生命が存在する理由は何でしょうか? 92 2023/01/06 21:52
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- その他(学校・勉強) 学校の校則そもそも必要ない説 2 2022/08/10 20:20
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 哲学 神論のエセンスは これだ 5 2022/07/19 04:39
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
命題の真偽の問題で 命題〇〇に...
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数+無理数=無理数 の証明
-
有界でないについて
-
命題とその対偶、真偽について
-
大学の数学の整数について
-
数学で出てくる十分性と必要性...
-
命題で「勉強しないと叱られる...
-
背理法について
-
矛盾律の意味がわかりません! ...
-
対偶法による無理数の証明につ...
-
トートロジーについて
-
数学 「「A⇒B」が真であること...
-
虚数単位i について「i =√-1<=>...
-
命題を証明せよとはどういう意...
-
x=y=0の否定について
-
抵触事項を ご指摘ください、
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「逆もまた真なり」について
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
「逆は必ずしも真ならず」の証...
-
数学的帰納法の根本的な疑問な...
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
有理数を文字置き→互いに素な整...
-
写真の命題を数学的帰納法で証...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
pならばqである の否定について
-
数学の論理学的な質問なんです...
-
【命題が偽である場合の反例の...
-
背理法について質問があります...
-
自然数の証明・・・?
-
青チャートに、「命題p⇒qの否定...
-
数学 12k(2k^2+1)を36の倍数と...
おすすめ情報