> 同じであることと、論理的に同値であること
a=b, b=c と a=c を区別しろ、みたいな議論ですか。たしかに見分けられる人と、
どうでもよい、と思う人、あるでしょうね。