Describir: Analisis logico formal del tipo en el Derecho penal