>>710
それでも(1)と(2)の命題の論理値は同じになる。
しかし、nが奇数の場合もあるので(1)が真というのはおかしい。

>>711
「あるnに対して、n^2<N<(n+1)nを満たす全てのNが合成数である。」
「n^2<N<(n+1)nを満たす全てのNが合成数であるnが存在する。」
この二つの命題を論理式にできない程数学は厳密wなのでしょうか？