ATENCIN: ESTO ES SLO UNA MUESTRA. NO SIGNIFICA QUE EL EXAMEN SER AS. TEMA A.

Apellidos:

Nombres:

Nro. Legajo:

Carrera: Libre/Regular: Si es regular, ao y semestre cursada: Puntaje: 1a = 1 pt, 1b = 1 pt, 2a = 2 pt, 2b = 2 pt, 3 = 1 pt, 4 = 1.5 pt y 5 = 1.5 pt. Nota Parcial: Resolver los ejercicios con prefijo P si y slo si aprob la cursada con menos de 7. P1. Traducir al lenguaje de la lgica proposicional (dar diccionario): Llueve slo si hace fro. P2. Construir una derivacin de q p a partir de p q. P3. Decidir si ( p q) ( p q) es una contradiccin, una contingencia o una tautologa. 1. Traducir al lenguaje de la lgica de predicados (dar universo y diccionario). En el caso a) dar dos frmulas, una sin el cuantificador existencial y la otra sin el universal. a) Ana no quiere a nadie. b) Quienes quieren a todos se quieren a s mismos. 2. a) Sea = x( Ax Bx) y sea = y Ay z Bz. Si , construir una derivacin de a partir de ; en el caso contrario, construir un contramodelo de respecto de (demostrar). Idem si . b) Anlogamente al caso a) con = x(AxBx) y = y(A y By). 3. Sea = { x Ax , x Ax }. Si es inconsistente, construir una derivacin de a partir de ; en el caso contrario, construir un modelo donde todas las frmulas de sean verdaderas (demostrar). 4. Sea A = {1,2,3}. a) Sea R la relacin en A dada por {< 1,1> , < 1,2> , <2,1>, <3,2>}. Encontrar un contraejemplo para cada propiedad (reflexividad, irreflexividad, simetra, asimetra, antisimetra, transitividad y conexidad) que R no cumpla en A. b) Construir una relacin binaria en A que sea reflexiva, simtrica y transitiva en A, pero no conexa en A. 5. Sea = x (Ax y Bxy). a) Traducir tomando como universo un conjunto no vaco de personas y el diccionario dado por Ax: x es adulto y Bxz: x quiere a z. b) Si es derivable, construir una derivacin de ; en el caso contrario, construir un contramodelo de (demostrar).

TEMA B.

Apellidos:

Nombres:

Nro. Legajo:

Carrera: Libre/Regular: Si es regular, ao y semestre cursada: Puntaje: 1a = 1 pt, 1b = 1 pt, 2a = 2 pt, 2b = 2 pt, 3 = 1 pt, 4 = 1.5 pt y 5 = 1.5 pt. Nota Parcial: Resolver los ejercicios con prefijo P si y slo si aprob la cursada con menos de 7. P1. Traducir al lenguaje de la lgica proposicional (dar diccionario): Hace fro slo si llueve. P2. Construir una derivacin de p q a partir de q p. P3. Decidir si ( p q) ( p q) es una contradiccin, una contingencia o una tautologa. 1. Traducir al lenguaje de la lgica de predicados (dar universo y diccionario). En el caso a) dar dos frmulas, una sin el cuantificador existencial y la otra sin el universal. a) Nadie quiere a Ana. b) Quienes no quieren a nadie no se quieren a s mismos.

2. a) Sea = x( Ax Bx) y sea = yAy z Bz. Si , construir una derivacin de a partir de ; en el caso contrario, construir un contramodelo de respecto de (demostrar). Idem si . b) Anlogamente al caso a) con = x(Ax Bx) y = z(Az Bz). 3. Sea = { z Az , y Ay}. Si es inconsistente, construir una derivacin de a partir de ; en el caso contrario, construir un modelo donde todas las frmulas de sean verdaderas (demostrar). 4. Sea A = {1,2,3}. a) Sea R la relacin en A dada por {< 1,3> , <2,1>,<3,1>,<3,3> }. Encontrar un contraejemplo para cada propiedad (reflexividad, irreflexividad, simetra, asimetra, antisimetra, transitividad y conexidad) que R no cumpla en A. b) Construir una relacin binaria en A que sea antisimtrica, transitiva y conexa en A, pero ni reflexiva ni irreflexiva en A. 5. Sea = x (Ax y Byx). a) Traducir tomando como universo un conjunto no vaco de personas y el diccionario dado por Ax: x es adulto y Bxz: x quiere a z. b) Si es derivable, construir una derivacin de ; en el caso contrario, construir un contramodelo de (demostrar).