《小顾纯粹理性思维》
小顾喜欢思考逻辑问题。众所周知，在逻辑中等价关系就是满足对称性、传递性和自反性的关系，即设关系为C，有：1）若xCy，则yCx：
2)若xCy,yCz，则xCz；
3）对定义该关系的集合A中的每一个x,有xCx。
小顾听后，表示不屑一顾，并认为这个定义太多余了，只需要前两条性质就足够了。小顾给出了自己的证明：假设C满足1）、2），因为C满足对称性，所以由aCb得出bCa，又因为C具有传递性，所以由aCb,bCa得出aCa。
小顾的观点是对的吗？
A、是的
B、不是
新浪微博 70,000+
移动应用
