18/09/24 18:16:07.27 H+RX+3OI.net
>>245
訂正
✕しかし「必ずしも(C)を満たさない。」ということと「(C)が満たされないかもしれない。」は意味がちがうでしょ？
◯しかし「必ずしも(C)を満たさない。」ということと「(C)が満たされない。」は意味がちがうでしょ？
です。
(B)の解の集合はすべての素数の集合です。
そして論文中の p は確かに(B)の解の集合に含まれます。
もちろん(B)に含まれる集合は必ずしも(C)を満たすとは限りません。
しかし、だからといって「(B)に含まれる p はかならず (C) を満たさない」わけではありません。
つまり(B) ⇒ NOT (C)なんて成立しません。
もちろんそれがいえれば
(A)⇒(B)⇒NOT(C)⇒NOT(A)
となって矛盾しますが(B)⇒NOT (C)のところで切れてるんですよ。