教育部《國語辭典簡編本》

一種純粹形式的推理方法。要求前提與結論間具有必然性之可推關係，一般多由普遍原理以推定特殊事象。 例他從這些原理中演繹出另一個數學公式。