元の主張が「Aが真であるならば、Bが偽である」の場合、「Aが真であってもBが偽であるとは限らない」が証明されると完全ろんぱっぱなんだが そうだね。当たり前でしょそんなの。AもB...