「真＝真は真であり偽＝偽は真だ」ってことは「A=AはAでありB=BもA」だって論法になってるよね変じゃない？