LGICA MATEMTICA SEPTIEMBRE 2001 TIPO A

PERMITIDO TODO TIPO DE MATERIAL. DURACIN 2 HORAS. CDIGO CARRERA: SISTEMAS 40, GESTIN 41.
CDIGO ASIGNATURA 110. Rellene los datos de la hoja de lectura ptica, especialmente su DNI y TIPO de examen. Respuesta
correcta. 0.5 puntos, incorrecta 0.25, no contestada 0. Slo el equipo docente decidira, en su caso, sobre la posible anulacin de
preguntas.
Datos: P1: p (qr) P2: r p P3: xy(Qx Rxy) P4: x(Qx Px) P5: xy(Qx Rxy)
P6: p es necesaria P7: no es imposible p
Cierto modelo o interpretacin M consiste en: U = {0, 1, 2}; P = Q = {1}; R = {(0, 1), (1, 1), (1, 2), (2, 1),(2, 2)}
1. Cuntas clusulas tiene la forma clausulada de P1?
a) 2 b) 1 c) 4 d) Ninguna de las anteriores
2. Se deduce o es consecuencia:
a) P2 de P1, pero no P1 de P2
b) P1 de P2, pero no P2 de P1
c) P1 de P2, y P2 de P1
d) Ni P1 de P2, ni P2 de P1
3. P1P2 es:
a) Tautologa b) Contradiccin
c) Indeterminacin d) Ninguna de ellas
4. P1 es suficiente pero no necesario para P2. Esto es:
a) Verdadero b) Falso
c) Indeterminable d) Ninguna de las anteriores
5. P1P2 es:
a) Tautologa b) Contradiccin
c) Indeterminacin d) No es satisfacible
6. Cuntas constantes de Skolem hace falta introducir en P4
para ponerla en forma clausulada?
a) Ninguna b) Una c) Dos d) Catorce
7. De P3 y P4 se deduce:
a) P5P4 b) P5
c) P5P4 d) Ninguna de las anteriores
8. De P3 se deduce:
a) P3 b) P4 P4
c) P4P4 d) Ninguna de las anteriores
9. El modelo M satisface:
a) P4 b) P3P4
c) P3P4 d) Ninguna de las anteriores
10. El modelo M, respecto de P3:
a) La satisface (la convierte en una proposicin verdadera)
b) Es un contraejemplo para ella (no la satisface)
c) No se puede averiguar
d) Ninguna de las anteriores
11. En lgica con identidad, si i representa el descriptor, en el
modelo M resulta correcto que:
a) 0 = ixRxx b) 1 = ixyRxy
c) 2 = ix(Rxx) d) Ninguna de las anteriores
12. De P1 se deduce:
a) P1 b) P2 P2
c) P2P2 d) P1P2
13. Si T es tautologa y A es absurdo o contradiccin, entonces
la frase A (P2 T) es:
a) T b) A c) Indeterminada d) Es T y A
14. P3 es:
a) Una tautologa
b) Satisfacible pero no tautologa
c) Su negacin es una contradiccin permanente
d) No hay ningn ejemplo que satisfaga su negacin
15. La expresin P6 equivale a:
a) P7 b) P7
c) P7P7 d) Ninguna de las anteriores
16. En M, el complemento de R en UxU tiene un nmero de
pares ordenados que es:
a) 3 b) 1 c) 2 d) 4
17. Si, respecto del modelo M, R es la recproca o inversa de
R en UxU, entonces, el complemento de RR en UxU
tiene un nmero de elementos que es:
a) 2 b) 3 c) 1 d) Ninguna de las anteriores
18. Si A = {0|0.75, 1|0.5, 2|1, 3|0.4} es un conjunto borroso,
podemos obtener (1.5) por interpolacin lineal y su valor
es igual a:
a) (0) b) (1) c) (2) d) (3)
19. Cul de estas afirmaciones respecto del valor de la funcin
de pertenencia, para cada elemento de cualquier conjunto
borroso, es verdadera?
a) El modificador muy lo aumenta
b) El modificador no puede aumentarlo o disminuirlo
c) Al aplicar sucesivamente casi y bastante obtenemos
el mismo valor
d) no conmuta con muy
20 Si P1 fuese una proposicin de la lgica trivalente de
Lukasiewicz, entonces su valor de verdad, para p = q = r =
sera:
a) 0 b) 1/2 c) 2 d) 1