马是一切颜色马的集合(老键的定义。OK)。------〉颜色马就是马(这个集合)的一个元素(公认的元素性质)。
元素不是集合 (公认的元素性质) ------〉颜色马不是马(这个集合)。 老键在这里把颜色马偷换成马。
马是一切颜色马的集合(老键的定义。OK)。------〉颜色马就是马(这个集合)的一个元素(公认的元素性质)。
元素不是集合 (公认的元素性质) ------〉颜色马不是马(这个集合)。 老键在这里把颜色马偷换成马。
• 您是不是误解了什么是反证法?只是纯粹就《白马论》里的原文说,将“是”理解为等于,老健的证法是成立的。 -露重烟微- ♀ (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