根据两个(或两类)对象在某些属性上相同或相似，推出它们在另一些属性上也相同或相似的推理叫（）。