回最后一贴吧：

单看命题本身的推导：

1）如果一切有颜色的马都非马，则白马非马。该命题真（请用三段论自证）。

2）如果白马非马，则一切有颜色的马都非马。（按你上面的推导，该命题真）

既然1与2同真，则【白马非马】与【一切有颜色的马非马】等价（何谓命题等价？建议自学之。）。

因此，白色的=一切有颜色的。。

错在哪里？错在命题2为真的推导。白色就是白色，怎么成了“任意颜色”？2）只是告诉你，白马非马。至于其它颜色的马（比如红马），非不非马，命题没给条件，所以不知道。

 

所有跟帖： 

• 然而逻辑里的“等价（)”不是数学里的“等于（=）”。 -露重烟微- ♀ (458 bytes) () 12/29/2023 postreply 19:24:37

• 其实不必再说了，已经一目了然了。拿两个等价命题互证表达什么呢。晚安 -老键- ♂ (0 bytes) () 12/29/2023 postreply 22:18:42

• 那两个命题等价？真是服了你们了。 -清溢- ♂ (0 bytes) () 12/29/2023 postreply 23:21:27

• 命题1与命题2不等价啊，大师。一个是原命题，一个是逆命题。是你们推导错误，而导致它们看起来等价。 -清溢- ♂ (0 bytes) () 12/29/2023 postreply 23:20:10