formal logic 0 lógica formal Estudio del análisis de proposiciones, atendiendo a los símbolos y formas abstractas y no a su significado. 1997-01-13