移行性は三段論法の推論の典型例でしょう。論理否定を作ってみましょう。ちがう、という点に注意してください。非対称性とはちがう、という点に注意してください。以下のようになるでしょう。どのような関係として記述できるでしょうか。いう順序対を想像して考えてみてください。言ってよい、としました。いう扱いが、後々、世間では、大混乱を起こす原因になったのです。いうふうな間違いが起こってしまったのです。ことは正当ですが、ただ、べつの大きな問題点が起こります--これについては、後日、説明します。