introducción a la lógica matemática / EDICION ECONOMICA

Suppes, P., & Hill, S. (2012). Introducción a la lógica matemática. Reverté.
Suppes, P., Hill, S., & Linés Escardó, E. (1980). Introducción a la lógica matemática. Reverté.
Enderton, H. B. (2012). Una introducción matemática a la lógica. Instituto de Investigaciones Filosóficas, UNAM.
del Valle, J., et al. (2023). Introducción a la lógica matemática. Editorial Unimagdalena.

1En este curso nos dedicaremos a la lógica matemática de primer orden. Poco a pocotrataremos de dejar claro a que se refiere ese enunciado.Una definición de lógica que puede encontrarse con frecuencia es que se encargade analizar los métodos de razonamiento. En particular, la lógica matemática se encar-garía de analizar los métodos de razonamiento en matemáticas. Paro no es el caso.A continuación haremos una descripción más detallada de los motivos de la lógicamatemática. No se trata de dar una aburrida reseña histórica, o desarrollar ingeniososacertijos matematicos que por más divertidos que puedan sonar, desvirtúan en buenamedida los objetivos de la lógica matemática. Al alumno le debe quedar muy clarocuál será el fundamento del curso y los posibles alcances del mismo. De otra forma,fácilmente se perderá o carecerá de la motivación mínima requerida para enfrentar ex-itosamente esta materia.

La lógica matemática (es decir, la lógica simbólica) utiliza símbolos para representar las relaciones entre los elementos de un argumento y emplea reglas para extraer inferencias sobre dichos elementos . Las principales ramas de la lógica matemática son la teoría de conjuntos, la teoría de modelos, la teoría de la recursión (computabilidad) y la teoría de la demostración.

Ingeniería Industrial