※ 引述《sendeaose (迪奥斯)》之铭言： : ※ 引述《yauhh (姚呵呵)》之铭言： : : 是不是因为语言的误会呢? : : 语言的「是」与「等於」等价时, p 是白马, q 是黑马, r 是马, : : 句子是下式: : : (p <-> r) & (q <-> r) -> (p <-> q) : : p -> r , q -> r , r <-> r 是不证自明句 (套套逻辑), : : 但是, r -> p 与 r -> q 不是. : : 因此, : : p -> r : : q -> r : : 无法取得 p -> q & q -> p 的结论. : : 顶多结论是 p -> r | q -> r . : 我曾经在法律课程上听过老师说过一个"白马非马论" : 忘记在哪一朝代了!有一个人牵着他的白马要进城里~ : 但那时正好限制人民不能牵马匹进城... : 所以就有这"白马非马论"出现! : 是在说... : 黑马是"马"而白马不等於黑马! : 所以白马不是马! : 以逻辑上来推~是这样没错! : 可是事实是这样吗!哈~ : 那是所谓的小聪明... 我觉得可以使用值域来证明这个导论是错误的 给定马是一个值域Z 白马不过是Z中的子值域A，黑马也是Z中的子值域B，其中A<=Z且B<=Z 但A交集B在分类上应为空集合，则可直观知道A<Z且B<Z 要以此逻辑推论成功，则必代表Z=A=B 但与上述推论不符，因此这个说法产生矛盾。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.64.180.5