Formalizacion 

Es una representación de las preposiciones como proceso: refiere al proceso de traducción o simbolización de las proposiciones del lenguaje natural, del lenguaje cotidiano, al lenguaje lógico. (Véase ‘Conectivas u operadores lógicos’).

Formalización como estructura: la formalización nos permite explicitar la estructura ordenada o forma lógica (véase, ‘Forma lógica’) de las proposiciones del lenguaje natural que se simbolizan o se traducen al lenguaje lógico.