那个推理是错的，0+,0-这样的无穷小乘以无穷大才是极限形式，可取任何数！真正的0，没有那个东西！:)
不过楼主用形式逻辑来推理，自然会出现那个结果了，所以吧主以此“结论”来反驳！

小于10的整数加小于5的整数可以大于10
X是小于10的整数
---------
X加小于5的整数可以大于10 
整数可以等于0 
Y是整数 
---- 
Y可以等于0 
X = 6, Y = 0时就有效。
论证可能性的东西，有10000个反例也没用，有1个成立的特例就有用。
注意每个论断的结论其实都有2个：
1）X加小于5的整数可以大于10；X加小于5的整数可以不大于10 
2）Y可以等于0；Y可以不等于0。
二者是“或”的关系。
因为我们只要讨论一种情况，所以只说一半的结论。硬要举特例的话，只好把结论补全了。

使用形式逻辑的框架是怕大家不懂数理逻辑
这个推理的数理逻辑形式是：
设谓词P(x)表示x是无穷小,Q(x)表示x是无穷大 
设谓词R(x,y)表示x和y相乘是常数 
∃x∃y(P(x)∧Q(y)∧R(x,y)) 
P(0) 
---------------- 
∃y(Q(y)∧R(0,y))

符号看不懂。

再写得标准点就是：
∃x∃y(P(x)∧Q(y)∧R(x,y))∧P(0)=>∃y(Q(y)∧R(0,y)) 
问这个公式是否是重言式？

看不懂啊。

我这里写出数理逻辑形式，为得是满足3楼的需求。
喜欢看符号的看6，8楼，喜欢看文字的看1楼，各取所需。

10楼可忽略1楼，看6，8楼
schro可忽略6，8楼，只看1楼
哎，众口难调，我容易吗我

5楼回复了...把结论补全了就ok了吧……

无穷小乘以无穷大可以是常数。 
0是无穷小。 
-------------- 
所以0乘以无穷大可以是常数。
小于10的整数加小于5的整数可以大于10
X是小于10的整数
---------
X加小于5的整数可以大于10 
这是两回事，前者是对一个个体的命题，就是对0，后者是对一个一般的未知数X的命题，后者的推理是正确的，但前者的推理是错误的。