无效。前提前件是全程，结论前件是特指个体项，想要这个推理成立就要证明小明具有全称代表性，才能将“小明扔垃圾”替换为“每个人都扔垃圾”，才能使用蕴含消除推出结论的后件。很显然小明这一特指个体无法代表整体，所以无法推出