ASIGNATURA DE LOGICA FORMAL (2007-2008)

Estas son las transparencias utilizadas en clase en formatos .pdf y .ps. Para cada uno de estos formatos hay dos versiones de las transparencias: una transparencia por página y dos transparencias por página.

• (07-08) LOGICA PROPOSICIONAL: TEOREMA DE EFECTIVIDAD [pdf-2porpágina, pdf, ps-2porpágina, ps]
• (07-08) EJERCICIOS DE FORMALIZACION CON LOGICA PROPOSICIONAL [pdf-2porpágina, pdf, ps-2porpágina, ps]
• (07-08) TEORIAS DE PRIMER ORDEN: SINTAXIS Y SEMANTICA [pdf-2porpágina, pdf, ps-2porpágina, ps]
• (07-08) EJERCICIO Y SOLUCION EXAMEN JUNIO 1997 [pdf-2porpágina, pdf, ps-2porpágina, ps]
• (07-08) TEORIAS DE PRIMER ORDEN: TEOREMAS [pdf-2porpágina, pdf, ps-2porpágina, ps]

• (07-08) Ejercicios de examen (semántica).
• (07-08) Ejercicios de demostración axiomática (lógica proposicional).
• (07-08) Ejercicios sencillos de demostración axiomática (fórmulas con cuantificadores).
• (07-08) Ejercicios de demostración axiomática (fórmulas con cuantificadores). Uso de los teoremas sobre constantes y de la deducción.

• Curso 2006-2007
• Curso 2006-2007
• Curso 2005-2006
• Curso 2004-2005