公孙玲珑VS子聪
公孙玲珑: ①假设:白马=马
黑马=马 =>白马=黑马(等量代换)
由常理知“白马≠黑马”=>(反证) 白马非马
②孔子“楚人非人”之说=> 楚人→白马
人→马=> 白马非马
结果:公孙玲珑胜
公孙玲珑VS天明
天明:踏雪(白马)=传家宝
踏人(黑马)=传家宝 =>踏雪=踏人(=>白马=黑马=>白马是马 <这个玄机省略了>)
传家宝=传家宝
结果:天明胜
公孙玲珑: ①假设:白马=马
黑马=马 =>白马=黑马(等量代换)
由常理知“白马≠黑马”=>(反证) 白马非马
②孔子“楚人非人”之说=> 楚人→白马
人→马=> 白马非马
结果:公孙玲珑胜
公孙玲珑VS天明
天明:踏雪(白马)=传家宝
踏人(黑马)=传家宝 =>踏雪=踏人(=>白马=黑马=>白马是马 <这个玄机省略了>)
传家宝=传家宝
结果:天明胜