大学学部レベル質問スレ 27単位目

[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

269(4): 2024/07/01(月)23:35 ID:VjX1Q1EC(2/3) AAS
>>255
>補題2.8 m < n → m + 1 ≦ n.
これが証明されてるんなら
m<k<m+1となる自然数が存在するとすると矛盾になるでしょ
m<kからm+1≦k<m+1になるよ

272(1): 2024/07/02(火)09:52 ID:8e/gxRJc(1/21) AAS
>>265
それを証明しなければなりません。

>>266-267

ありがとうございます。

>>268
>>269-270

∀x (x < x でない) ことを証明しなければなりません。
省12

273: 2024/07/02(火)10:06 ID:8e/gxRJc(2/21) AAS
訂正します：

>>265
それを証明しなければなりません。

>>266-267

ありがとうございます。

>>268
>>269-270
省11

274: 2024/07/02(火)10:07 ID:8e/gxRJc(3/21) AAS
訂正します：

>>265
それを証明しなければなりません。

>>266-267

ありがとうございます。

>>268
>>269-270
省11

275(2): 2024/07/02(火)10:08 ID:8e/gxRJc(4/21) AAS
訂正します：

>>265
それを証明しなければなりません。

>>266-267

ありがとうございます。

>>268
>>269-270
省11