>>361
∀xを先頭に書いたら箱を開けてないって意味にならないって言ってるんだが
あと一部じゃなくてステートメント全体を論理式で書かないと意味ないでしょ
そう書いたときに∀xがどれだけ内側に入ったかでしか、箱を開けたかどうか定式化できないじゃん
もしくは箱を確率変数にして確率論を使うか