18/09/24 15:14:05.36 2S8ezezN.net
>>225
対偶なんて証明しても駄目ですよ？
対偶なんて元の命題と同値でしょ？
あなたの主張は
「(B)の場合必ずしも(C)が成立するとは限らないので矛盾」
です。
つまり
「(B)をみたすのに(C)を満たさないものがあるのはおかしい」…(＊)
という主張です。
この主張が成立するには論文のどこかで
「(B)をみたすものは必ず(C)をみたす。」
がいえてないと駄目です。これがいえて初めて(＊)が主張できるのです。
⇒で表現すれば
「(B)⇒(C)」
です。
あるいは(B)⇒(A)が言えれば(A)⇒(C)はすでに証明されているのでそれでも構いません。
つまり
(B)⇒(A) もしくは (B)⇒(C)
のいずれかが証明されなければ(＊)を主張することはできません。
すでに証明されてることの対偶なんかなんの役にも立ちません。