A=Aは、一般的に考えれば「存在」（アイデンティティ）でしょうね。
常に真であることは、命題論理という体系の中だけでの話です。