( )是根据一类事物中若干对象具有某种属性推出该类事物的所有对象都具有该属性的推理。