白马非马，所以黄马非马，黑马非马..., 一切有颜色的马都非马；而马是一切颜色马的集合，所以马非马 - 就这么简单

所有跟帖： 

• 这个矛盾证明用得好！ -露重烟微- ♀ (0 bytes) () 12/28/2023 postreply 16:38:00

• 节日里，游戏一回。是你们自己在不觉中偷换了概念而矛盾。 -清溢- ♂ (634 bytes) () 12/28/2023 postreply 22:30:23

• 您是不是误解了什么是反证法？只是纯粹就《白马论》里的原文说，将“是”理解为等于，老健的证法是成立的。 -露重烟微- ♀ (263 bytes) () 12/28/2023 postreply 22:52:30

• 太逗了，还反证法。我就用个顺希腊法吧： -清溢- ♂ (251 bytes) () 12/28/2023 postreply 23:17:32

• 如果白马非马成立，“白”是任意颜色，这意味着任意有颜色的马都非马 （黄马，黑马都非马） -露重烟微- ♀ (335 bytes) () 12/29/2023 postreply 12:27:42

• 回最后一贴吧： -清溢- ♂ (1313 bytes) () 12/29/2023 postreply 16:24:27

• 然而逻辑里的“等价（)”不是数学里的“等于（=）”。 -露重烟微- ♀ (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