由已知推及未知的演绎推理法