自分の使っている参考書に
「対偶による証明法も一種の背理法と考えることができる。
命題p→qが真であることをいうために ̄q(qでない)と仮定して ̄pが導かれたとする。
pではないからこれは矛盾で背理法が成立したことになる。
でも ̄qならば ̄pとは文字通り、これは対偶のことでこの対偶が真といえたから自動的に命題が真といってもいい」
と書かれているのですがいまいち意味がわかりません。
どういうことなのでしょうか?
数1の内容なのですがあまり数学が得意ではないので簡単に教えていただけると助かります
よろしくお願いします。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
「命題p⇒qを証明せよ」といわれて、その対偶「¬q⇒¬p」を証明できたとします。
でも、まだ「命題p⇒q」自体を証明できたワケではないです。しかし「¬q⇒¬p」から、_背理法_で「p⇒q」を導けると思います:
背理法で「p⇒q」を導く。「p⇒q」でないとする。"つまり"「pだけどqでない」とする。「qでないならpでない(対偶は証明済み)」ので、結局「pだけどpでない」(これが矛盾)。
…と書いてあるような気がします。
> 「対偶による証明法も一種の背理法と考えることができる。
>
これは「背理法を使わなければ対偶から元の命題を導くことはできない」というコト?
No.2
- 回答日時:
私が前に調べたときはこんあかんじでした。
1) 証明したい命題を P とする。
つまり P を恒真命題であることを示したいとする。
2) 適当な恒真命題 ¬P→Q を見つけ出す。
3) Q が恒偽命題であること示す。
4) ¬P→Q の対偶 ¬Q→P も恒真命題だから ¬Q が恒真命題なら Pは恒真命題
例
P= √2 は無理数である。
¬P→Q は√2 が有理数ならば互いに素な偶数が存在する。
Qは恒偽命題なので Pは恒真命題
私はこれは背理法ではないと考えていますが、人により考え方が
異なるようですね。
No.1
- 回答日時:
こんにちわ。
ご質問に回答させて頂きます。
命題「pならばq」の真偽と
その対偶「 ̄qならば ̄p」の真偽は一致します。
つまり、
命題「pならばq」が真ならば、その対偶「 ̄qならば ̄p」も真です。
命題「 ̄qならば ̄p」が真ならば、その対偶「pならばq」も真です。
高校生なら「ある命題と その対偶の真偽は一致する」と覚えておけば良いと思います。
私は高校時代、そう覚えました。
――――――――――――――――――――――――――――――――――――――――
具体例を挙げて説明すると以下のようになります。
命題「リンゴならば赤い」は真ですよね?
この命題の対偶は、
「赤く無いならばリンゴではない」
になりますが、これも真ですよね?
つまり、もとの命題と その対偶の真偽が一致していることが分かると思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学で知識を整理したいです 同値性を意識する時はある命題の逆と同値になっていなければならないんですよ 5 2022/08/04 18:41
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 哲学 宗教と宗教団体に対する国の考えは貧しく、間違っている 10 2023/08/10 09:04
- 哲学 神論のエセンスは これだ 5 2022/07/19 04:39
- 哲学 神論のエセンスは これだ 198 2022/10/25 04:36
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 哲学 宇宙が存在し、生命が存在する理由は何でしょうか? 92 2023/01/06 21:52
- 哲学 神とは――世界が世界と和解するために―― 4 2022/08/12 13:40
- 哲学 国による宗教と宗教団体の定義 1 2023/08/09 17:43
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数A論証の問題がまったくわかり...
-
「逆もまた真なり」について
-
数学の証明の問題です。
-
ウェイソン選択課題について悩...
-
命題「PならばQ」でPが偽ならば...
-
数学の背理法について質問です...
-
数学の論理学的な質問なんです...
-
数学B漸化式です。 a1=1/5, an+...
-
命題と論証
-
代数的整数論(J.ノイキルヒ)の...
-
命題「PならばQ」が偽のとき...
-
pならばqである の否定について
-
強い仮定、弱い仮定、とは
-
命題論理に関する英単語
-
有理数+無理数=無理数 の証明
-
数学についてです。
-
この√2が無理数であることの証...
-
命題の真偽の問題で 命題〇〇に...
-
数学 x,yは実数とする。「xy+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=3の倍数ならば、n=6の倍数で...
-
「逆は必ずしも真ならず」の証...
-
数学的帰納法の根本的な疑問な...
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
有理数を文字置き→互いに素な整...
-
写真の命題を数学的帰納法で証...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
pならばqである の否定について
-
数学の論理学的な質問なんです...
-
【命題が偽である場合の反例の...
-
背理法について質問があります...
-
自然数の証明・・・?
-
青チャートに、「命題p⇒qの否定...
-
数学 12k(2k^2+1)を36の倍数と...
おすすめ情報