「AならばAじゃない」は矛盾じゃない

「AならばAじゃない」は矛盾じゃありません。Aが偽の時「Aじゃない」は真になります。そのため命題全体では真になります。恒偽命題ではありません。というか、前件Aが偽になり得る時点で矛盾にはなり得ません。

...と思いました。少し不機嫌で申し訳ございません（笑）

See you.