Cursillo de Introducción a la Lógica Simbólica
|
|
 |
Primera sesión (Miércoles 7 de septiembre)
Para imprimir, pulsa el botón que dice iPaper en la parte superior izquierda del marco, y selecciona la opción Print; o bájalo haciendo click aquí
Segunda sesión (Miércoles 14 de septiembre)
Leer capítulo 2 del libro de Simpson, Elements of Logic, depositado en las fotocopias de Xóchitl.
Leer secciones 2.1 a 2.6 y 2.14 a 2.22. Los ejercicios son opcionales.
- Construyendo un lenguaje artificial L que represente la funciones de verdad ¿Para qué?
- Argumentación en lenguaje natural y funciones de verdad.
- Léxico de L.
- ¿En qué lenguaje hablaremos nosotros sobre L. Léxico y sintaxis de nuestro meta lenguaje.
- Sintáxis de L. ¿Qué debe tener una secuencia de símbolos de L para para ser una oración bien formada (well formed formula, o WFF) y pertenecer también a L.
- Semántica de L.
- Significado de las variables y de las constantes lógicas de L.
- Tablas de verdad.
- Funciones de verdad básicas con nombre propio y sin él.
- Argumentación en L.
- Tipos de proposiciones verifuncionales.
- Consistencia verifuncional.
- Equivalencia verifuncional.
- Qué es un argumento. Su validez verifuncional.
- El lenguaje L como modelo de las lenguas naturales.
- Traducción del lenguaje natural al lenguaje artificial L y viceversa.
- Comprobación de la fuerza argumentativa modelando los razonamientos naturales con argumentos de L.
Tercera sesión (Miércoles 21 de septiembre)
Cuarta sesión (Miércoles 28 de septiembre)
Quinta sesión (Miércoles 5 de octubre)
Sexta sesión (Miércoles 12 de octubre)
Séptima sesión (Miércoles 19 de octubre)
Octava sesión (Miércoles 26 de octubre)
Examen final. Aplicado por la Maestra Adriana Guzmán