你永远纠结于此

那都是些空位，不同位置的空位之间有一定的关系。就相当于x+y=z。它们没什么现实的意思，是一种函数关系。你用不同的数值代入得到的值不同而已。没必要纠结非得要求与真实的意思关联。那个形式就要那些“算”

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

马会飞，它是一个命题符号，也是真值的代数符号。它的意义就是真值。

你把①“x+y=z”与②“1+2=3”混淆是不对的。②是命题，有真值；①不是命题，只是命题形式，没有真值。②只是①的一种解释。③1+2=4也是①的一个解释。②③都是解释，不必一定为真！

建议楼主，慎用“我们”二字，一个字“我”就可以了。
“我将如何进行思维？”

33吧友，你还是不明“有效推理”的精神实质。为什么呢？因为你举的例子看得出，你认为只有“整数、分数、有理数”这个例子才是可接受的，而“飞马”那个例子是荒诞的。说白了，还是不同意“实质蕴涵”而主张“严格蕴含”。我们的分歧似乎就在这里。形式逻辑按照经典的意思是揭示形式规律。既然是形式规律，就应该舍去内容，不应该把具体内容参杂进来。形式有效，只是说如果前提都真，推不出虚假结论。没有别的意思。“羊不吃草”的结论虚假而推理有效，那肯定混进来虚假前提。这逻辑管不着，逻辑不需要做其他具体科学才能胜任的课题。

10楼正解。

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

命题的真假和推理的有效是两回事。有的教材为了强调这一点甚至于提出“事实的真”和“逻辑的真”两个概念。体会一下。我这里不知他所谓“逻辑的真”具体意涵，姑且不论。我想说的是，逻辑的有效性是指前提100%支持结论。它是一种逻辑的规律。逻辑规律是形式规律。它是“套套式”、“永真式”，它考虑了各种前提结论的真值组合，不会因为前提的值的改变而改变起有效。OK？