Beruflich Dokumente
Kultur Dokumente
PROGRAMA - LGICA I
1.- IDENTIFICACIN
Nombre de la asignatura: Lgica I.
Ao acadmico en que se dicta: Primero.
Nivel del curso: Primer semestre.
Carcter: Obligatorio.
Profesor: J. Sebastin Castillo.
Horario: Seccin 1: Jueves bloque 3, Viernes bloque 4
Seccin 2: Jueves bloque 4, Viernes bloque 3
Nmero de horas cronolgicas semanales: 3.
Porcentaje mnimo de asistencia: 50%
2.- DESCRIPCIN
El curso constituye una primera aproximacin a la lgica formal moderna (en particular,
a nivel proposicional).
3.- OBJETIVOS
4.- CONTENIDOS
Parte 0: Prefacio.
- Consecuencia Tautolgica.
- Deducciones, razonamientos, argumentaciones.
- Distincin entre veracidad y validez lgica.
- Deduccin natural (Gentzen).
- Formalizacin de razonamientos y comprobacin de su validez.
- Argumentos correctos y conjuntos inconsistentes.
7.- EVALUACIN