[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
541(3): 2024/06/25(火)20:57 ID:3+oYoQpe(11/18) AAS
>>537
なぜ先頭に∀を置くとカンニングを容認したことになるかを説明しろって言ってんだよ
とっとと説明しろバカ
542(2): 2024/06/25(火)21:08 ID:L/OKht87(7/13) AAS
>>541
こっちはそれをカンニングの定義にしてるんだよ
お前のカンニングの定義が違うだけだろ
カンニングとはなんなのか説明してみろよ
543: 2024/06/25(火)21:11 ID:L/OKht87(8/13) AAS
>>541
その理由で先頭に∀を置くのが許されるなら、箱1個の場合でも攻略できることになるだろ
∀x.∃y. x=y
は示せるんだから
561(1): 2024/06/26(水)05:57 ID:cZJplG6L(1/5) AAS
>>539
>使ってない箱の∀は後ろに移動できるだろ。なんでやらないの？
どの箱も後ろに移動できるが、全部を移動することができないから
無限個の箱の任意有限個は移動できる
どの箱も任意有限個の中に含めることができるから、その箱を移動させることはできる
箱全部は無限個、だから移動できない
>>541
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s