《小顧純粹理性思維》
小顧喜歡思考邏輯問題。眾所周知,在邏輯中等價關係就是滿足對稱性、傳遞性和自反性的關係,即設關係為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+
移動應用