秦时明月之诸子百家的“白马非马”辩题天明论点，似乎说不通，求大神解惑

从语言的角度来说，“是”这个词和“=”符号是有区别的，但经常被混用，所以要引入集合的概念，即“白马∈马，黑马∈马，但白马≠黑马”。
天明和公孙玲珑虽然都没意识到这点，但辩论中都遵循了数学上的一个演绎逻辑，即“若a=c且b＝c则a＝b，当a≠b时说明a≠c或/且b≠c”，所以“白马≠黑马时，白马≠马 或/且 黑马≠马”，“踏雪＝传家宝，踏人＝传家宝，则踏雪＝踏人”。。。

额。。。大妈一开始说白马非马，明宝以此类推得出踏雪等于踏人，然后大妈又说不对，这不就是在说她自己不对吗。。。大妈是输了呀。。。