24/03/17 02:20:11.32 egixwGA8.net
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
24/03/17 02:20:11.32 egixwGA8.net
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
24/03/17 02:20:11.32 egixwGA8.net
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない