[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
584(1): 2024/06/26(水)21:22 ID:cZJplG6L(4/5) AAS
>>583
＞素直に
＞∃A.∀x∈ℝ^A.∃B.∃i.∀y∈ℝ^B.∃a.∀z.a=z
＞を考えるのが普通だろ
まず開けられる箱の集合Aは１つではなく、A1~A100の１００通りある
そして次に開けられる箱の集合Bもそれに付随してB1~B100の１００通りある
当然閉められた箱の候補もC1~C100の１００通り
省5
585: 2024/06/26(水)21:40 ID:tkh8e6AK(11/13) AAS
>>584
100通りってなんだ？
意味不明なんだが、修正後の論理式を書いてよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s