Cursillo de Introducción a la Lógica Simbólica


Todos los miércoles de
Septiembre y Octubre
17:00 horas
Salón A-202
Escuela Nacional de
Antropología e Historia

CartelLogicaENAH.jpg

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í

Patrones básicos rompecabezas

Otros rompecabezas sencillos

Más patrones rompecabezas

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.

  1. Construyendo un lenguaje artificial L que represente la funciones de verdad ¿Para qué?
  2. Argumentación en lenguaje natural y funciones de verdad.
  3. Léxico de L.
  4. ¿En qué lenguaje hablaremos nosotros sobre L. Léxico y sintaxis de nuestro meta lenguaje.
  5. 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.
  6. Semántica de L.
    • Significado de las variables y de las constantes lógicas de L.
  7. Tablas de verdad.
    • Funciones de verdad básicas con nombre propio y sin él.
  8. Argumentación en L.
    • Tipos de proposiciones verifuncionales.
    • Consistencia verifuncional.
    • Equivalencia verifuncional.
    • Qué es un argumento. Su validez verifuncional.
  9. 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

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-Noncommercial-Share Alike 2.5 License.