《小顧純粹理性思維》

小顧喜歡思考邏輯問題。眾所周知，在邏輯中等價關係就是滿足對稱性、傳遞性和自反性的關係，即設關係為C，有：1）若xCy，則yCx：

                    2)若xCy,yCz，則xCz；

                    3）對定義該關係的集合A中的每一個x,有xCx。

小顧聽后，表示不屑一顧，並認為這個定義太多餘了，只需要前兩條性質就足夠了。小顧給出了自己的證明：假設C滿足1）、2），因為C滿足對稱性，所以由aCb得出bCa，又因為C具有傳遞性，所以由aCb,bCa得出aCa。

小顧的觀點是對的嗎？