>>676

>>676
AIで論理式で書くとどうなるのかを聞くと
＞∃n ∀N [ (n^2 < N ∧ N < n(n+1)) → Comp(N) ]
としか出てこないが、私の論文では、nが存在することなどは仮定していない。
「あるnに対して、n^2<N<(n+1)nを満たすNが全て合成数である。」
これは完全な数学命題であるが、これを論理式で書くとどうなるのか？
それを示してくれ、上記と同じであるとするのであればリジェクトだ。

>>677
私は論理式で書く習慣がないから、適当に書いただけで書いた後から
間違いだったとは把握していたが。