deductive

演繹（えんえき、ラテン語　deducere）は、一般的・普遍的な前提からより個別的・特殊的な結論を得る推論方法である。対義語は帰納。帰納の導出関係は蓋然的に正しいのみだが、演繹の導出関係は前提を認めるなら絶対的、必然的に正しい。ただし、実際的には前提が間違っていたり、適切でない前提が用いられたりして、誤った結論が導き出されるケースが多い。近代的には、演繹法とは記号論理学によって記述できる論法の事を指す。例えば、観測した100匹のアシカは5本指だったことから「アシカは5本指をもつ」という結論を出すのが帰納であるのに対し、「アシカは5本指をもつ」という前提から出発してアシカ亜目アザラシ科に属するアザラシもまた5本指を持つだろうと推定するのが演繹である。この例では、アシカ亜目の定義が5本指という事象に基づいていれば適切な前提であり、指の本数と無関係であれば不適切な前提である。以上のことを一般化した演繹の代表例として三段論法がある。 「人は必ず死ぬ」という大前提、「ソクラテスは人である」という小前提から「ソクラテスは必ず死ぬ」という結論を導き出す。この例のように二つの前提から結論を導き出す演繹を三段論法という。演繹においては前提が真であれば、結論も真となる。
Wikipedia.orgをもっと見ると…