白马非马，是集合论的结论，
马是一个大的概念 ， 在它之下还有许多小的概念 ， 例如：白马、黑马、棕色马、公马、母马、…… 。 马可以是白马 ， 可以是黑马 ， 也可以是公马或母马 。 但是 ， 白马并不能复盖马 ， 它还包含了黑马、公马、母马等等 。 所以马与白马是有很大的区别 。 白马与黑马是排斥的 ， 是白马就不可能是黑马 ， 黑马也不可能是白马 。 然而白马可以是公马或母马 。 母马可以是白马或黑马 。 显然 ， 这不是一个逻辑学问题 ， 而是一个数学中的集合论问题 。 
白马非马概念图
推荐阅读
- 黄金周”结论：中国旅游业已完全“康复
- 《三娘杀夫案》结论的证伪
- 老师是一群没有思想的人干的活
- “黑天鹅”不是“天鹅”
- 一阶逻辑下的白马非马证伪
- 不懂白马非马的人，不懂形式逻辑。
- 也谈白马非马和形式逻辑
- 入关学认识
- 臭水何以进入自来水管网？杭州官方公布结论