18/12/22 01:47:37.43 YeKLmHw+.net
>>487
どうしても "命題表記" が欲しいなら、お望み通りに命題表記してやるよ。(p,n)∈N^2 に対して
X ＝「pは奇素数, n≧5, p≡n≡1 (mod 4)」
A ＝「p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ」
B ＝「p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2に含まれていない素因数を持つ」
C ＝「(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる」
と置く(本来は X(p,n), A(p,n), B(p,n), C(p,n) などと書くべきだが、"(p,n)" は省略する)。
このように置いた X,A,B,C はどれも集合ではなく「命題」である。
この書き方なら文句はないな？