《小顾纯粹理性思维》
小顾喜欢思考逻辑问题。众所周知,在逻辑中等价关系就是满足对称性、传递性和自反性的关系,即设关系为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+
移动应用