>>617
>ただ、「②⇒③」と結論づけるための根拠を質問しているのですよ
「x=x」を真とする以上、②が真かつ③が偽なんてあり得ないんですよ。
一方「x≠x」は等号の定義に反します。
つまり②⇒③はトートロジーなんですよ。結論づける根拠もクソも無い。

ほらね？全然分かってないあなたと会話しても不毛なだけでしょ？