Examen de Légica: Convocatoria ordinaria. (6 de Febrero de 2006) Normas: 2) No olvigarse de escribir el nombre, los apellides y grupo de clase. 2) No se permite el uso de libros 6 apuntes. La nica documeataciéa permitida es el formmulario euministrado con los apuntes de clase. 3) Los ejercicice deben estar sufcientemente explicados. Si se trata de un ejercicio en el que se pida resolver un argumento, cada paso de inferencia dado deberd justifcarse mediante las anotaciones convenidas. 4) La duacién de esta parte es de 2 horas, 2 Cuestiones. ‘Respéndase con precision y brevedad a las siguientes preguntas: Cuestin 1 {Qué se entiende por enuneiado onalitico? (0.25 puntos) Cuestién 2 En la légica de predicados, definir formalmente el concepto de valoracisn de un término (0.25 puntos) Cuestion 3 Bn el contexto del sistema Ke, enunciese el teorema de la deduccién pera férmulas cersadas. (0.25 puntos) Cuestion 4 Definase el concepto de interpretacién modelo de una férmula. (0.25 puntos) Cuestién § Dese une definiciém de sistema formal completo. Enunciese el teorema de la completitud para: a) la légica de proposiciones; 8) la ldgica de predicados. (0.5 puntos) 3 Problemas. Problema 1 Resolver el siguiente argumento de la ligica de proposiciones usando deduccién natural No es clerio que irabajes o estudies. No aprobards a menos que trabojes. Por tanto, como sigas ‘ast no aprotorés. . 7 (4.5 punto) Problema 2 Dada la interpretacién I = (Dz, J), donde Dz = {1,2} y J es la juncién de inter pretacién que asigna: T(f) =F y J(P) =P. siendo: FOIPC OPC APC. WPC.2) Gore rer ry) Comproler, usando las defiisiones formales de verdad, satsfcibitdad, y eotuacién de una formula, si es modelo de ta fof A= (Ay)(V =)P(F(2),¥) + (V2)(A¥)PLS()v) (1.5 puntos ~ No se considerdn validas las saluciones que no se ajusten a las definiciones formales.) Problema 3 Resolver el siguiente argumento de la lépion de predicados usando deduccién natural Algunas marmotas no tienen mds de dies dientes. Todas las marmotas son lundticas. Luego, algunos onimales lunétices no tienen més de diez dientes, (1.5 puntos)