x+y=z 我们会具体 应用 1+1=2 1+2=3......
哪怕是二进制 1+1=10 1+10=11
我们研究算法 或 函数的应用时 ，不得不考虑他的现实意义。否则光有一堆符号在哪里推来倒去。
令我疑或不解的是【离散数学】中 竟然把 马会飞 母鸡是飞鸟。。。。。一堆胡言乱语 符号化 然后进行演绎推理 。这【理】在哪里？只能把人的四维搞乱！

逻辑学虽然不承担理化生物农学医学以及体音美这些不同学科的研究课题，但在逻辑中
使用的是现有的研究结论。 比如 凡 金属都导电 人是动物 酸碱反应生成盐和水。。。。
我们总不能因为逻辑是研究形式推理 ，不必纠结内容的真实性 说金属都不导电 人属于植物 。。。。。
我们判断一个命题的真假，其实就是看他是否符合客观实际。显然不能信口开河，弄得真假莫辩。