一阶逻辑下的白马非马证伪
任何话题 ， 文科一掺和就争吵 。逻辑话题尤甚 ， 就没有一天改以严谨推理替代情绪化的相互攻讦 。 比如 ， 白马非马这个古旧的命题究竟对错？建个模就能证伪的事儿 ， 一到文科楼就变成了没完没了的对掐 。 可掐半天也没掐出高中学历的认知范围 ， 总令人想起迂腐和酸儒这两个词 。 有鉴于此 ， 本帖尝试给出白马非马的一阶逻辑证伪 ， 以终结猫内关于这个命题的无谓争议 。设哺乳动物集合E满足Equini族的动物学特征 ， 则称E中的任一元素为一匹马 ， 记为h ， 即x=h↔x∈E上式表征 ， 检验一个动物是否为一匹马的唯一标准 ， 就在于看它是否为集合E的元素 。根据上述定义 ， 即可导出推论：白马非马是一个伪命题 。证明：设x为任一白马 ， 则x∈E⇒x=h⇒﹁(x≠h)Q.E.D.任何时候 ， 都不建议文科生参与逻辑学话题 ， 更不希望看见在文科楼以鲁式杂文论逻辑时贬损他楼楼格 。 事实上 ， 莱布尼茨以来逻辑学就早已没文科什么事了 ， 任何附庸风雅都然并卵 。
推荐阅读
![[疾病早预防]这样“三步走”才是慢乙肝的治疗目标](http://ttbs.guangsuss.com/image/3bc8818b8fb320c427d4a227673c8419)
- “好色之徒”的逻辑
- 紫金矿业董事长婚前转让股权给其子背后的法律逻辑
- 任何数逻课都始于命题
- 探索未来|学前做好这些，逻辑思维和分类能力练习好，小学学语文数学轻松！
- 形式逻辑的数学原理(6): 证明
- 形式逻辑的数学原理：证明
- 逻辑，新冠病平均死亡年龄83岁，那是因病长寿。
- 从逻辑说到辩证法
- 唯物辩证法的逻辑错误
- 逻辑学分档次：形式逻辑与数理逻辑