Por Joaquín GONZÁLEZ ÁLVAREZ
Introducción Los métodos de la Lógica desde su formalización por Aristóteles han sido instrumento de razonamiento de una manera o de otra por las diferentes vertientes del quehacer intelectual. Es en las ciencias exactas y principalmente en la Matemática donde se hace más presente el razonamiento lógico no sólo mediante la formalización desarrollada en la Lógica Matemática, sino en el uso de los procesos de enunciación y deducción matemáticos.