No.2ベストアンサー
- 回答日時:
1様の仰っていることと基本的に同じです.
(∃1a;P(a))≡(∃a;P(a))∧(P(a)∧P(b)⇒a=b)
ということから≡の右側の左の項と右の項を夫々示せばいいのです.だから∧については交換法則が成り立つので結果的にどちらが先でもいいことになるのです.
No.1
- 回答日時:
どっちでもいいです。
好きなほうからやれば。一意性の証明は、「存在する」ならば「ひとつしかない」
という命題の証明をすることになります。
このことは、『「ひとつしかない」または「存在しない」』
という命題と同値です。
つまり「A⇒B」という命題が真であるというのは、
AであるならばBであるという主張であって、
Aが真であることを主張しているわけではありません。
偽の命題が仮定されている場合は、すべての命題を真としても
よいです。つまり「A⇒B」が真のとき、Aが偽なら、
常にBは真であるわけです。
というわけで、「ひとつしかない」または「存在しない」
ことが一意性の証明で、存在証明で「存在する」ということを
示すことによって、「存在し、かつひとつしかない」
という証明が完結するわけで、これらはどちらが後とか先とか
そういう関係にあるのではないわけです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 哲学 二重証明と裏付けの違い 2 2023/07/21 16:18
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- その他(宿泊・観光) (ホテル以外で)身分証明書なしで宿泊できるところはどこですか? 都道府県の制度の違い一覧はありますか 4 2023/05/22 21:11
- 数学 ABC予想を証明した望月教授の論文が欧米で認められないのは人種差別ですよね? 4 2022/04/11 10:20
- 数学 これが人類最初のABC予想の応用ですか? 3 2022/04/27 05:41
- 政治 ABC予想で自衛隊を合憲にする事ができますよね? 3 2022/04/23 05:46
- 弁護士・行政書士・司法書士・社会保険労務士 ★行政書士試験の民法についての質問になります。 意思表示での問題で、動機の錯誤について分からない事が 1 2023/05/17 21:08
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
a>0、b>0⇔a+b>0、ab>0
-
数学の背理法について質問です...
-
逆、裏、否定、対偶
-
x≠1⇒xの二乗≠1の真偽
-
n=3の倍数ならば、n=6の倍数で...
-
命題を証明せよとはどういう意...
-
命題「PならばQ」でPが偽ならば...
-
数学 証明
-
共分散の符号と相関係数の符号...
-
数学的帰納法の根本的な疑問な...
-
この問題の逆 裏 対偶と真偽と...
-
命題の否定について。 同じ色で...
-
有理数+無理数=無理数 の証明
-
対偶とは?教科書は間違ってい...
-
AでなければBでない の対偶は?
-
数学基礎論についての質問(極大...
-
数学 x,yは実数とする。「xy+1=...
-
命題論理に関する英単語
-
数学B漸化式です。 a1=1/5, an+...
-
命題の証明の解き方を教えてく...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
不完全定理により、「ある命題...
-
命題「PならばQ」でPが偽ならば...
-
超越数は必ず無理数でないとい...
-
数学の背理法について質問です...
-
数学の問題です! 教えてくださ...
-
強い仮定、弱い仮定、とは
-
a>0、b>0⇔a+b>0、ab>0
-
命題を証明せよとはどういう意...
-
次の空欄に当てはまるものを以...
-
「逆もまた真なり」について
-
x≠1⇒xの二乗≠1の真偽
-
高校数学です!m,nを整数とする...
-
「逆は必ずしも真ならず」の証...
-
背理法と対偶証明の違いについて
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学、論理
-
共分散の符号と相関係数の符号...
-
有理数を文字置き→互いに素な整...
-
カントールの対角線論法につい...
-
反対称的な2項関係の個数
おすすめ情報