回最後一貼吧：

單看命題本身的推導：

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