Lógica II (UNED)

1.El lenguaje de la Lógica de Predicados. Elementos del lenguaje y reglas de formación de fórmulas.

2.Ampliación del lenguaje cuantificacional: Descripciones definidas e identidad.

3.Métodos sintácticos para la validación de argumentos. El cálculo de la deducción natural.

4.Reglas semánticas para la evaluación de los argumentos. Los árboles semánticos.

5.Aproximación a otras lógicas. Lógica modal y lógica multivalente.