Considere as sentenças abaixo:

A. Todas as baleias são mamíferos.

B. Todos os mamíferos têm pulmões. Portanto:

C. Todas as baleias têm pulmões.

O tipo de raciocínio implicado na relação entre as sentenças A e B, de um lado, e a sentença C, de outro, é