>>879

>>474だか478だか
論理的に命題Bからも命題Aが言えますのでただの同値表現です。



478(474の間違い)、＞背理法である以上、n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定しています。
これは何度も書いているように、私が書いたのは命題Aであり、命題Bではない。論理的に命題A→命題Bが成立する
と書いても意味がなく、論文では命題Aから矛盾が生じることにより、あるnに関して、n^2<p<(n+1)nを満たすpのうち
少なくとも１つが素数であるという命題を証明している。