( )是根据两类对象在一系列属性上是相同的，而且已知其中一类对象还具有其他的属性。由此推出另一类对象也具有同样的其他属性的推理，即从特殊到特殊的推理。