Este é o famoso silogismo aristotélico ou, melhor dizendo, não exatamente aristotélico, mas muito parecido com ele.

Trata-se do silogismo aristotélico, arquétipo desse tipo de raciocínio: Se A é B, se todo B é C, então todo A é C.