Matemáticas (plan 1983) 2023-1

Optativas de los Niveles V y VI, Lógica Matemática I

Buenas tardes estimad@s estudiantes. Sabemos que las circunstancias que estamos viviendo son extrañas, pero dentro de todo esto ha habido cosas buenas que nos hacen posible continuar y que nos acercan.

Solicité este curso en modalidad virtual pensando en diversos escenarios del alumnado: los alumnos que trabajan y salen a las 4 pm y no llegarían a la Facultad a las 5 pm, los alumnos que todavía están con sus familias fuera de CDMX, y pensando en otras circunstancias de los alumnos. Espero que nos vaya muy bien.

Las sesiones de clase serán por Zoom respetando los horarios asignados a la materia, y habrá asesorías (por zoom) cuando l@s alumn@s así lo requieran. También habrá apuntes y actividades que subiremos a Classroom.

La evaluación del curso incluye exámenes cortos, tarea-examen, participación en clase, tareas cortas.

Pensamos que podemos iniciar la comunicación entre alumn@s y nosotros a través de correo-e para resolver cualquier duda aun antes de comenzar el semestre. Si escriben, por favor en "asunto" pongan Lógica I UNAM.

Mi correo es asun_preiss@yahoo.com.mx

Atentamente

Ma. Asunción Preisser R.

-----------------------------------------------------------------------------------

___________________________________

A continuación, daremos el programa, así como una breve explicación de los temas que veremos.

PROGRAMA DE LÓGICA MATEMÁTICA I

I. Enunciados.

*Proposiciones abiertas y cerradas.

*Enunciados simples y compuestos (atómicos y moleculares).

*Estructura de enunciados moleculares.

*Un lenguaje formal para enunciados. Simbolizaciones.

II. Condiciones de verdad para enunciados.

*Funciones de verdad. Tablas de verdad.

*Tipos de enunciados: tautologías, enunciados contingentes, contradicciones lógicas.

*Equivalencia lógica. Negación de enunciados.

III. Métodos de demostración.

*Métodos directos.

**”Directo directo”

**Condicionalización.

**Vacuidad.

**Prueba por casos.

*Métodos indirectos.

**Reducción al absurdo.

**Contrapositiva.

IV. Consistencia de conjuntos de enunciados.

V. Consecuencia lógica.

*Concepto de consecuencia lógica.

*Decidibilidad y dependencia de enunciados.

*Metateoremas (resultados generales) que relacionan los conceptos de consecuencia lógica, consistencia , decidibilidad, dependencia, tautología.

VI. Sistemas axiomáticos formales y no formales.

*Lenguajes naturales y lenguajes formales. Lenguaje y metalenguaje.

*Un sistema axiomático formal para enunciados: L

*Teoremas y deducciones en L.

*Metateoremas de corrección, consistencia y completud del sistema formal L.

Bibliografía.

*Cap. 1 de Introduction to Mathematical lógic. Mendelson, E. 4ta Ed. Chapman & Hall,1997 y CRC Press, 2001

*Introducción a la Lógica matemática. Suppes-Hill. Reverté, 1999

Nota sobre la bibliografía. Es posible acceder los materiales que el curso requiere. Los tengo en PDF.

ACERCA DE LOS TEMAS DEL PROGRAMA.

Podemos decir que hay dos propósitos de llevar la materia de Lógica: estudiarla en sí misma como una disciplina matemática, o estudiarla porque es importante para entender muchas veces la estrategia que uno debe seguir en las demostraciones de las materias de la carrera. Sea cual sea el propósito que uno persiga, este programa es un muy buen inicio en ambas direcciones.

Enseguida mencionaremos varios puntos que nos parecen importantes de cada tema del programa.

Del Tema I. Es importante conocer cómo trabajar con enunciados en abstracto, pues todos los teoremas y las afirmaciones matemáticas lo son. Y es importante obtener su estructura, no importa si hablan de topología o geometría o cálculo etc. Al obtener estructuras estudiamos de un solo golpe muchos enunciados que posean una determinada estructura común.

Del Tema II. La verdad es siempre importante, queremos siempre saber si una afirmación es verdadera o falsa. Y hay criterios para saberlo acerca de enunciados complejos. También es importante conocer otras maneras de decir lo mismo (equivalencias). Las tautologías expresan ciertas formas de pensamiento que algunos llaman “leyes lógicas”. Veremos también paradojas, que son enunciados lógicamente contradictorios y que han ocupado un lugar en la historia de las Matemáticas, por ello es importante también conocer las típicas contradicciones lógicas.

Del Tema III. Creemos que es claro que para nosotros es necesario conocer con detalle la diferencia entre los métodos de demostración y cómo se aplica cada uno. Es una parte muy importante para los alumnos de Ciencias.

Del Tema IV. La consistencia de conjuntos de afirmaciones es ausencia de contradicción. ¿Por qué es importante? Veremos su importancia en varios terrenos.

Del Tema V. Este tema es muy importante pues siempre usamos la consecuencia lógica al hablar de consecuencias de teoremas, de teoremas a partir de los axiomas, etc. Nos clarifica un concepto que hemos usado siempre pero que ahora será nuestro objeto de estudio.

Del Tema VI. Este tema es muy interesante porque muestra de manera muy “limpia” lo que es trabajar de manera estricta con axiomas. Y cómo es posible exhibir “las reglas de razonamiento utilizadas” cosa que no sucede en otras materias donde en las demostraciones no las exhibimos y muchas veces no nos damos cuenta de cuáles estamos usando.

Además, al demostrar las propiedades de un sistema axiomático, podremos conocer la importancia de estas propiedades para cualquier otro sistema semejante.

____________________

Atentamente Ma. Asunción Preisser R.