三段論法の説明でこんな話がありますよね。

「ソクラテスは人間である」
「人間はみんないつか死ぬ」
導き出される結論は・・・
「ソクラテスはいつか死ぬ」

「つまり、Ａ＝Ｂ、Ｂ＝Ｃ、従い、Ａ＝Ｃというのが論理的な考え方です」

ところが、今朝の電車の中でこんなことを思いました。

「ソクラテスは人間である」とは、果たして「Ａ＝Ｂ」なのか？

そうであるなら、
「Ｂ＝Ａ」

つまり、
「人間はソクラテスである」

という等式が成り立つ筈です。

となると、例えば
「人間はソクラテスである」　　（Ｂ＝Ａ）
「山田花子は人間である」　　　（Ｃ＝Ｂ）
「ソクラテスは山田花子である」（Ａ＝Ｃ）

という論法も成り立つ筈なのですが、山田花子はソクラテスでないことは明白です。

ということは、「ソクラテスは人間である」とは「Ａ＝Ｂ」である、という内容に論理の飛躍があるのでしょうか？