[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

897(2): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)05:05 ID:j5fczyhM(3/23) AAS
>>886　>>887
>証明の前半部分は
>「まず、集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈Nがあったら、
>　集合{a_n}n∈Nは最小元を持たないから、Aは整列集合でない」
>なので、
>P:降鎖条件を満たすこと→Q:整礎であること、
>つまり任意の空でない部分集合が極小元をもつこと
>を、背理法で、Pの否定＝無限長の降鎖と、整礎が矛盾するということ
>の証明だよね

向きが逆じゃんｗ
省19

---

900: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)05:23 ID:j5fczyhM(6/23) AAS
>>897
P→Qの対偶が¬P→¬Qとかいっちゃう馬鹿には数学書の証明は読めんわｗ
P→Qって¬P∨Qのことだから、その否定はP∧¬Qだろｗ

---

904(3): 2021/11/05(金)07:37 ID:PpafSVAT(4/7) AAS
>>897
>向きが逆じゃんｗ

それは、あんたの>>654の証明に締まりが無いからだよ
院試の答案としてみたら、対偶を証明するのか、はたまた背理法を使うか、謳わないと

もっと言えば、命題Pと命題Qとの同値を証明するとき
１．命題P→命題Q
２．命題Q→命題P
に分けて証明するよね

そして、普通はこの順だろ？
２を先に証明するなら、そう宣言しないと
省24

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.267s*