0340132人目の素数さん
2018/03/13(火) 22:01:50.13ID:fO1irFi+>>333
>不定というのは全ての整数値をとりうるということだから
>その場合には、p=4q+1で表される整数以外の正整数p=3,7,11などでも
>不定と定義づけられる0p=0を満たしているから矛盾している
まず、「0p=0」と「p=4q+1」とを組み合わせても矛盾しません。
具体的には任意の整数 q について p=4q+1 と置くと、双方の命題が真となります。
しかし、「全ての整数値をとりうる」からといって、p=3と置いたとすると、
「p=3」と「p=4q+1」とを組み合わせたとき 3=4q+1 となる整数 q がないから矛盾します。
矛盾のないところから矛盾を引き出すことはできないので、この推論はどこかが誤っています。
この推論では、あたかも(「0p=0」かつ「p=4q+1」)ならば(「p=3」かつ「p=4q+1」)が
妥当であるような導出をしています。すなわち、暗に「0p=0」ならば「p=3」と言っているわけです。
しかし、実際には「0p=0」→「p=3」は偽です。仮定が真なのに結論が偽になる場合があるからです。
「不定というのは全ての整数値をとりうる」から、特定の値に固定しても矛盾しないはずだ、
という推論は「0p=0」→「p=3」のような誤った言及を暗に含んでいます。
これこそが誤りの元であるわけです。