演繹

演繹（えんえき、英: deduction）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。帰納で得る結論は「蓋然性」に留まるのに対し、演繹である結論は、前提が正しければ必ず正しい（前提は結論を必ず含意する）。