Hablamos LE
Lógica de enunciados. Lenguaje de LE. Signos lógicos y descriptivos. Signos estándar y no estándar. Interpretación. Intensión de oraciones, funciones de verdad.
Hablamos LPO
Lógica de primer orden. Lenguaje de LPO. Signos lógicos y descriptivos. Signos estándar y no estándar. Interpretación. Intensión de predicados, funciones de verdad, cuantificación.
Juegos sintácticos
Oración sí/no: Alfabeto, gramática. Buena formación. Árbol de análisis. LE, LPO.
Abierta/cerrada: oraciones LPO. Cuantor, alcance, apariciones libres/ligadas de variables. Variable libre/ligada en una oración
Juegos semánticos
Oración vr/fl en una interpretación. Situación, interpretación de predicados y nombres. Derivación semántica.