En ambos casos, como relación de clases o como lógica de predicados, el clásico silogismo categórico: