Ninguno.

Los alumnos deben demostrar en el examen:

1) que han entendido y saben manejar las reglas del cálculo deductivo (Deducción Natural) y las del cálculo mediante árboles semánticos;

2) que han entendido nociones centrales de la lógica de predicados, como las de validez, fórmula bien formada, contraejemplo, contradicción, implicación, tautología, contingencia, constante lógica, descripción, operador modal, axioma, entre otras;

3) que saben formalizar, es decir, extraer la forma lógica de un enunciado (fórmula) y la de un argumento (esquema inferencial);

4) que saben encontrar una interpretación de una fórmula (enunciado) y la de un esquema inferencial (argumento), con arreglo a ciertos requisitos establecidos en el examen;

5) que saben distinguir entre variables y constantes individuales;

6) que han entendido y saben operar con fórmulas que contienen la identidad o la descripción definida.

Junto con el enunciado de examen, se entregará también al alumno una tabla de reglas, que será exactamente la que se subirá a la plataforma Alf.

La profesora leerá las intervenciones de los alumnos en alf para valorar el trabajo formativo que el alumno vaya demostrando allí. Estas intervenciones solamente pueden servir para subir unas décimas la nota del examen, cuando la profesora lo considere pertinente, nunca para bajarla.

Se tendrá en cuenta la calidad de las intervenciones en alf.

La nota final es la calificación obtenida en el examen escrito, modificada ligeramente al alza, cuando el alumno haya participado a lo largo del curso en alf y haya mostrado allí un progreso adecuado en la compresión de los conceptos centrales de la asignatura y una competecia suficiente en la formalización y el cálculo.