
数学には矛盾法とでも呼べる証明方法があるのでしょうか?ここで、矛盾法とはこちらが勝手に付けた名称です。要は、矛盾を認めることによって、正しいとしたい命題、主張を証明する方法という意味です。実例としては、これまでもたびたび言及してきた「空集合φは任意の集合sの部分集合である」ということの証明があります。詳細は端折りますが、対偶法を使い、φの要素xがsの共通要素になることを以て、φがsの部分集合であるとする証明です。そもそも、要素が一つもないφの要素xを認めることは矛盾であるはずですが、とにかく、これを認めることで、φがsの部分集合であるとできるし、これは集合論において、必要欠くべからざるといえる重要事項でしょう。
しかし、当然、矛盾を認める前提からはどんな命題も正しいと証明できてしまうことは論理学の基本です。「φがsの部分集合である」とする命題も、その反対の「φがsの部分集合でない」という命題も同時に正しいと証明できてしまう。言ってみれば、両者が等値になるというところでしょうか?
それに、正しいと証明したい命題の反対の命題が正しいとすると矛盾が起こることで、証明したい命題の正しさを保証する背理法を強力な証明方法の一つとして採用している現行の数学体系においては、いわば、ダブルスタンダードになってしまう恐れがある。
果たして、数学界で、矛盾法なる方法は(もっと洗練されたカッコイイネーミングがされているかも知れませんが)正式に採用されているのでしょうか?また採用されているとしても、使用できる限界というか線引きがなされていないと、どんな命題でも恣意的に正しいとされてしまう恐れがあり、数学が無法地帯になる恐れがある。そんな限界線の定義はされているのでしょうか?
A 回答 (7件)
- 最新から表示
- 回答順に表示
No.7
- 回答日時:
ひょっとして
AはBの部分集合である→AとBには共通要素が有る
と考えているのかな?
「Aにある要素はBにもある」
というのがちょっと曖昧な
部分集合の定義だけど、厳密には程遠くて、Aに要素が無い場合の判定方法が有りません。
きっと部分集合の判定でAに要素が存在しないと判定ができないと
おもっているのでしょうね。
部分集合の定義はそんな穴だらけのものではないです。
既にたくさん提示されている部分集合の定義をよく吟味しましょう。
No.6
- 回答日時:
空集合φは任意の集合Sの部分集合である
φ⊂S
の定義は
x∈φ→x∈S
で
(x∉φ)V(x∈S)
で
任意のxと任意の集合Sに対して
xは空集合φの要素ではない
かまたは
xはSの要素である
という意味で
φの要素が1つもないのだから
任意のxに対して
xは空集合φの要素ではない
x∉φ
が常に成り立つのだから
(x∉φ)V(x∈S)が成り立ち
x∈φ→x∈Sが成り立ち
φ⊂Sが成り立ち
空集合φは任意の集合Sの部分集合であるといえるのです
対偶法を使い、
φの要素xがsの共通要素になることを以て、
φがsの部分集合であることは証明できません間違っています
(x∈φ→x∈S)の対偶は(x∉S→x∉φ)なので
φの要素xがsの共通要素になることは対偶ではありません
φの要素は1つもないのだから
x∈φが成り立たないのだから
成り立たない仮定をそのまま仮定することはありません
φの要素xがsの共通要素になることは証明できません
そのようなことはしません
No.5
- 回答日時:
ちょっと確認してみよう.
途中の
「「φがsの部分集合である」とする命題も、その反対の「φがsの部分集合でない」という命題も同時に正しいと証明できてしまう。」
のところ, 「その反対」はどのように証明している?
No.4
- 回答日時:
>>対偶法を使い、φの要素xがsの共通要素になることを以て
この辺からずれてますけど・・・。
部分集合の定義から,「φ⊂s」とは「x∈φ⇒x∈s」。
この対偶は「x∉s⇒x∉φ」
空集合は要素(元)をもたない集合なのでx∉φ。
なので対偶は常に真。
対偶使わなくても、a⇒bは(¬a)vbなので、仮定が偽なら、この命題自体は常に真。
x∈φは偽なので、「x∈φ⇒x∈s」は常に真。
これだけの事ですが。
No.3
- 回答日時:
小難しそうな話が書かれていますが要するに「空集合が要素を持つのはおかしい」と言う事ですよね。
それって結局「要素を持つ集合を空集合と呼ぶのは間違っている」と言う国語ないしネーミングの問題であって、矛盾がどうたらと言った数学の問題ではないように思います。恐らく空集合の事を「要素を持たない集合」とだけ考えるから「空集合の要素」と言うワードがおかしく見えるのであって、単純に「空集合は『無』と言う要素だけを持つ集合」とでも考えれば何もおかしくありません。それに私が今書いた空集合の定義は「空集合は要素を持たない集合」の言い回しを変えただけであって内容は全く同じです。
No.2
- 回答日時:
なんかずれてる。
部分集合の定義は
任意の要素xに対して
x∈A ならば x∈B
が恒真なら
AはBの部分集合
A=Φならx∈Aは常に偽だから
x∈A ならば ×∈B は恒真
というだけ。
>要素が一つもないφの要素xを認めることは矛盾であるはずですが、
意味不明です。Φに要素がないということは要素xというものが存在しないということでは全くありません。Φの中にないだけです。
No.1
- 回答日時:
背理法(はいりほう) 又は 帰謬法(きびゅうほう)の事ですか。
但し「φがsの部分集合である」とする命題ならば、
φ と云う集合が s の集合に 部分的に含まれる場合は、
この方法は 使えませんね。
高度な数学の分野は 理解していませんが、
中学・高校の分野では 集合の分野が 限定されるので、
証明に使えるのでは。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
- 数学 矛盾と両立 5 2024/07/22 21:35
- 数学 数学Aの整数の性質について質問です。 ほぼほぼ背理法の質問かもしれないですが、 証明の、a+bとab 5 2024/05/04 17:54
- 歴史学 日本国憲法はどう考えても無効としか考えようがありませんよね? 帝国憲法から現行憲法への改正は限界を明 9 2022/12/25 01:49
- 数学 自明の証明 4 2023/12/10 11:01
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 群論に関して, 明らかとしか思えない命題に関して質問です 5 2024/02/10 16:53
- 数学 対角線論法の疑問 4 2023/11/23 12:27
- 数学 「自然数は無限」としてよいのか? 4 2023/11/26 13:10
- 数学 ∫1/lnxdx について 8 2024/05/19 12:42
このQ&Aを見た人はこんなQ&Aも見ています
-
あなたの「必」の書き順を教えてください
ふだん、どういう書き順で「必」を書いていますか? みなさんの色んな書き順を知りたいです。 画像のA~Eを使って教えてください。
-
いちばん失敗した人決定戦
あなたの「告白」での大失敗を教えてください。
-
コンビニでおにぎりを買うときのスタメンはどの具?
コンビニでおにぎりを買うとき、何の具材を選ぶことが多いですか?
-
あなたなりのストレス発散方法を教えてください!
自分なりのストレス発散方法はありますか?
-
思い出すきっかけは 音楽?におい?景色?
記憶をふと思い出すきっかけは 音楽、におい、景色 どれですか?
-
f(x)=f(x²)はどんなグラフになりますか?
数学
-
「普通のサイコロ」で連続して40回、1以外の目が出る確率は、(5/6)の40乗です。計算すると、0.
数学
-
ここでいうスカラーとはなにを意味しているのでしょうか。スカラーの意味があまりよくわかっていなのでベク
数学
-
-
4
解説3行目。なぜ4でわって3余る素因数が存在しないことが言えているのでしょうか。
数学
-
5
0⁰再び
数学
-
6
高校数学についてで、帰納法をたとえば数列で使うときにn=kとおいて、kで示したいものが成り立つと仮定
数学
-
7
小学1年生とか2年生に、「1+1ってなんで2になるの?」って聞かれたらどう答えます? 意外と難しいよ
数学
-
8
=って逆も正しくないとダメですよね?「ゴリラ=動物」って動物はゴリラ以外もこの世に存在するので「=」
数学
-
9
10のマイナス14乗の呼び方
数学
-
10
何回かくじを引いて当たる確率
数学
-
11
1+2+3+…=?
数学
-
12
素数(合成数の並びの最大数)について
数学
-
13
確率の問題
数学
-
14
以下の原稿(プレプリント)の内容も代数的組合せ論ですか?
数学
-
15
10のn乗-1でn=1から15,はなぜ17の倍数でないのでしょうか。問題文に書いてある理由がよくわか
数学
-
16
ギリシャ文字
数学
-
17
写真の問題の解説にある「a≦bとしても一般性を失わない」というのは「aとbを入れ替えても全く同じ式で
数学
-
18
3分の-6+-√3ってもっと簡単に出来ましたっけ? 私なら、-2+-√3になったのですが!
数学
-
19
半径1の円の面積がπになることを、積分を用いて示せという問題について質問です。この円はy=√1-x^
数学
-
20
数学 図形 「同一直線上にない3点を通る平面はただ1つ存在する」というのは平面の「定義」ですか?それ
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・一番好きなみそ汁の具材は?
- ・泣きながら食べたご飯の思い出
- ・「これはヤバかったな」という遅刻エピソード
- ・初めて自分の家と他人の家が違う、と意識した時
- ・いちばん失敗した人決定戦
- ・思い出すきっかけは 音楽?におい?景色?
- ・あなたなりのストレス発散方法を教えてください!
- ・もし10億円当たったら何に使いますか?
- ・何回やってもうまくいかないことは?
- ・今年はじめたいことは?
- ・あなたの人生で一番ピンチに陥った瞬間は?
- ・初めて見た映画を教えてください!
- ・今の日本に期待することはなんですか?
- ・集中するためにやっていること
- ・テレビやラジオに出たことがある人、いますか?
- ・【お題】斜め上を行くスキー場にありがちなこと
- ・人生でいちばんスベッた瞬間
- ・コーピングについて教えてください
- ・あなたの「プチ贅沢」はなんですか?
- ・コンビニでおにぎりを買うときのスタメンはどの具?
- ・おすすめの美術館・博物館、教えてください!
- ・【お題】大変な警告
- ・洋服何着持ってますか?
- ・みんなの【マイ・ベスト積読2024】を教えてください。
- ・「これいらなくない?」という慣習、教えてください
- ・今から楽しみな予定はありますか?
- ・AIツールの活用方法を教えて
- ・最強の防寒、あったか術を教えてください!
- ・歳とったな〜〜と思ったことは?
- ・モテ期を経験した方いらっしゃいますか?
- ・好きな人を振り向かせるためにしたこと
- ・スマホに会話を聞かれているな!?と思ったことありますか?
- ・それもChatGPT!?と驚いた使用方法を教えてください
- ・見学に行くとしたら【天国】と【地獄】どっち?
- ・これまでで一番「情けなかったとき」はいつですか?
- ・この人頭いいなと思ったエピソード
- ・あなたの「必」の書き順を教えてください
- ・14歳の自分に衝撃の事実を告げてください
- ・人生最悪の忘れ物
- ・あなたの習慣について教えてください!!
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数一 オがわかりません 塾でこ...
-
数学
-
数学にはいろんな分野がありま...
-
数学 三角関数の近似 高校数学...
-
ホモトピー論で使うループやデ...
-
ペレルマンは、孤独を好む人な...
-
数学の質問です (k²-1)t²-2t+k²...
-
訂正:相対論は光を構成する場...
-
【至急】数IIの指数の解答で、4...
-
数学の公式や解法を覚えられな...
-
積分記号の読み方 高校で習う普...
-
2025.1.3 20:14にした質問で更...
-
グレゴリー級数の首足に関して...
-
グレゴリー級数
-
バッハと数学
-
確率分布
-
ホモトピー論で使うループやデ...
-
これ−8じゃなくて−4で、答え...
-
公庄という数学講師は授業はへ...
-
数II図形と方程式です。 12がわ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
a(n) = 1/(n+1)! lim[z->π/2] (...
-
2025.1.3 20:14にした質問で更...
-
タイヤの直径が40cmの一輪車が...
-
ピタゴラスの定理(2)
-
『笑わない数学 微分積分』のΔx...
-
じゃがいも、タマネギ詰め放題
-
半径1の円の面積がπになること...
-
【数学の相談です】 √12+6√3 の...
-
数学の問題です。 今、微分の問...
-
なぜこのように極座標に変換で...
-
内積計算の順番について
-
【数学】 この問題の解き方が分...
-
185cmをフィートとインチに直す...
-
七回やっても計算合わない
-
確率分布
-
何回かくじを引いて当たる確率
-
2x+4y-2 4x+18y+6 の連立方程式...
-
ナブラ▽ と行列の内積について...
-
f(x,y)=x^3+y^3 条件x^2+y^2=1...
-
二次関数の図形の移動について
おすすめ情報