17/08/15 19:21:29.42 dNVFG2Rn.net
>>473
基本的な述語論理をやる上では必須ですけれども
この違いを形式的な記述でやろうとしても理解は困難だとつくづく感じております。
∀n∈N,∃m∈N,n≦m
この場合は n が変化するごとに n <= m をみたす m がかわってもいいんですが
∃m∈N,∀n∈N,n≦m
このときの m は n の値にかかわらず共通でなければならないんですよね
そういう風に丸覚えしているんですが、これを形式的に分解して納得するのは困難なのでは？