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