三段論法

二つの前提から一つの結論を導く論理的推論のこと。 … たとえば、「すべての動物は生物である」「すべての人間は動物である」という二つの前提から、「すべての人間は生物である」という結論を得る推論は典型的な三段論法である。アリストテレスの『オルガノン』によって整備された。wikiを読むと、すごい深い話だった。