然而逻辑里的“等价（)”不是数学里的“等于（=）”。

命题等价不过是说一个是true（false)，另一个也是true(false)，也就是白马非马为真（假），那么一切有颜色的马非马也为真（假），但这不代表“白马非马”=“一切有颜色的马非马”。您再往下代，就犹如：

如果下雨，则穿雨衣。
如果穿雨衣，则天下雨

于是，穿雨衣=天下雨

穿衣=天下。

：）