类比推理的逻辑形式?