- 632 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 18:40:11.19 ID:mo+X3rAk.net]
- >>601
これまた書かないとだめなの？何回目？
めんどくさいんだけど
370 １３２人目の素数さん sage 2024/02/15(木) 21:51:55.09 ID:Yql9K+Mt
例えばさ、箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はありますか？
という問題なら、∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
後者の命題は正の整数の代わりに整数にしても成り立つけど、明らかに整数では必勝法はない。
だから、箱の中を見てないと主張するには∀をなるべく内側に入れた命題を証明しないとだめなんじゃよ
