15/03/07 16:51:05.76 xymY1OtG.net
>>377
＞というか、今まで条件を使わなくても矛盾が生じれば正しい議論になる
＞とばかり思っていた。
なに言ってるんだコイツ。矛盾が生じれば背理法が成立して万々歳。
その一方で、お前の議論は間違っていて矛盾が示せてない。それだけのこと。
俺が言っていることは
・証明 A が正しくて、なおかつ A の中で条件 P が実際には使われてないなら、
その証明文 A の文中から条件 P を削除した新しい証明文 A’もまた正しい証明となる
ということに過ぎない。これをお前の証明に適用すると、A’に相当する証明が
明らかに反例を持っているので、もともとの A (＝お前の証明) も間違っている、というわけ。
＞一体、何にそういうことが書いてあるんだ？
たぶんお前は、俺の言っていることが理解できていない。
でなければ、そんな質問が出てくるわけが無い。