logico matematico (D)

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal, o logística,​ es parte tanto de la lógica como de la matemática, y consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias