演繹出典:フリー百科事典『ウィキペディア（Wikipedia）』移動:ナビゲーション,検索演繹（えんえき、英:deduction）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る推論方法である。対義語は帰納。帰納の導出関係は蓋然的に正しいのみだが、演繹の導出関係は前提を認めるなら絶対的、必然的に正しい。したがって実際上は、前提が間違っていたり適切でない前提が用いられれば、誤った結論が導き出されることがある。近代的には、演繹法とは記号論理学によって記述できる論法の事を指す。[編集]具体例例えば、