se construye de un modo formalizado. permite operar en la lógica como un cálculo utiliza simbología
Gracias
desde un inicio la lógica no a dado un paso adelante ni atrás
Lógica matemática es una tendencia dentro de la lógica
