《小顾纯粹理性思维》

小顾喜欢思考逻辑问题。众所周知，在逻辑中等价关系就是满足对称性、传递性和自反性的关系，即设关系为C，有：1）若xCy，则yCx：

                    2)若xCy,yCz，则xCz；

                    3）对定义该关系的集合A中的每一个x,有xCx。

小顾听后，表示不屑一顾，并认为这个定义太多余了，只需要前两条性质就足够了。小顾给出了自己的证明：假设C满足1）、2），因为C满足对称性，所以由aCb得出bCa，又因为C具有传递性，所以由aCb,bCa得出aCa。

小顾的观点是对的吗？