Facultat de Filosofia Programes dassignatures. Prova de conjunt.

Materia: Introduccin a la Lgica Asignatura: Introduccin a la Lgica I i II Profesor/a: Departamento: Lgica, Historia i Filosofa de la ciencia Temario Parte I 1. 2. 3. 4. 5. Introduccin a la logica de los enunciados La lgica de los enunciados: sintaxi. La lgica de los enunciados: semntica. lgebra elemental de los conjuntos. Razonamientos silogsticos.

Parte II 1. 2. 3. 4. Introduccin. Relaciones y funciones. La lgica de primer orden: sintaxi. La lgica de primer orden: semntica.

Bibliografa
BADESA, Calixto; JAN, Ignasi; JANSANA, Ramon. Elementos de lgica formal. Barcelona: Ariel, 1998.