11-06-2001 Final - Junio Lgica

Modelo A Curso 2000-2001

Puntuacin: 10
3

NP
NF
NA
, donde NA = N Aciertos, NF = N de fallos, NP = N preguntas Tiempo: 1:15h

En los siguientes ejercicios asignar las letras p,q,r... por orden de aparicin a las frases proposicionales
1.- Al formalizar en lgica proposicional: Un pas va bien si y slo si hay crecimiento econmico y no hay inflacin
se obtiene.
p (q r)
(p q r) (q r p)
p q r
(q r p) (p q r)
2.- Al formalizar en lgica proposicional: En Europa hay inflacin y no hay crecimiento econmico, por tanto,
Europa no va bien se obtiene.
p q r
r p q
p q r
p r
3.- Al formalizar en lgica proposicional: Cuando la economa no crece o el petrleo sube, el euro se devala a
menos que la economa americana vaya peor se obtiene.
s (p q r)
(p q r) s
s (r p q)
s (p q r)
4.- Sea F
1
, F
2
y F
3
frmulas con 3 variables diferentes cada una,
al analizar todas las interpretaciones de sus tablas de verdad se
encuentra que 8 interpretaciones no son un modelo para su
respectiva frmula F
i
, por lo que sera posible encontrar.
Una frmula insatisfacible, una satisfacible y una vlida.
Una frmula satisfacible y dos vlidas.
Dos frmulas satisfacibles y una vlida.
Dos frmulas insatisfacibles y una vlida.
5.- Para demostrar mediante deduccin natural que
{(r q) s t, (s r) q, p q } (t p) se
utiliza el esquema de la figura. Indicar cul sera la frmula del
paso 4.
p
(t p)
r q
(t p)

6.- Considerando la misma figura, Cul sera la justificacin
del paso 11?.
I 6,10
E 2,10
I 6
I 6


7.- Al aplicar el mtodo de contradiccin a la frmula ((t
qr) (q s r q)) (p r t)) para determinar si
es o no vlida se puede concluir.
Que la frmula no es vlida sino satisfacible porque en
alguna de sus interpretaciones no hay contradiccin.
Que la frmula es vlida porque al menos existe una interpretacin I en la que hay contradiccin.
Que la frmula es vlida porque en todas las interpretaciones posibles hay contradiccin
Que la frmula es insatisfacible porque en todas las interpretaciones posibles no hay contradiccin


8.- Cul es la forma cannica de d c c b a c ab c b a d c b a f + + + + + + + = ) ( ) ( ) ( ) , , , (

4
(1,2,3,4,5,6,14,15)

4
(6,7,9)

4
(6,7)

4
(6,7,8,9)


1.- (rq) st Premisa
2.- ? Premisa
3.- ? ?
4.- ??? ?
5.- ? ?
6.- q ?
7.- ? ?
8.- ? ?
9.- ?

E 8
10.- ? ?
11.- ? ???
12.- ? ?
13:- ? ?
11-06-2001 Final - Junio Lgica
Modelo A Curso 2000-2001
Puntuacin: 10
3

NP
NF
NA
, donde NA = N Aciertos, NF = N de fallos, NP = N preguntas Tiempo: 1:15h




Sea f
1
(a,b,c,d)=
4
(4,7,12,13,m) +
0
(0,10,15,n) y f
2
(a,b,c,d)=
4
(0,4,15,n) +
0
(6,7,10,11,12,13,m). Se representa
parte de sus funciones en los siguientes mapas respectivamente:

00 01 11 10
00 X * *
01 1 * 1
11 1 1 X *
10 * X
f
1
cd
ab
00 01 11 10
00 1 * *
01 1 * X X
11 X X 1 *
10 * X X
f
2
cd
ab

Los * representan los valores por los que se puede sustituir m y n



9.- Qu valor debe tomar m y n para que al simplificar ambos mapas se obtenga el mismo resultado?
m = 5 y n = 14;
m = 5 y n = 1;
m = 8 y n = 5;
Ninguna de las anteriores.


10.- Qu valor debera tener m y n en f
2
para que al simplificar la funcin se pudiera obtener como
resultado acd d c d c b a f + = ) , , , (
2
?
n = 8 y m = 1
n = 5 y m = 8
n = 8 y m = 14
n= 3 y m=8


11.- Qu valor debera tener m para asegurar que al simplificar f
1
se obtendr bd c b d c b a f + = ) , , , (
1

independientemente del valor que pueda tomar n?
m = 8
m = 5
m = 14
Ninguna de las opciones anteriores.




11-06-2001 Final - Junio Lgica
Modelo A Curso 2000-2001
Puntuacin: 10
3

NP
NF
NA
, donde NA = N Aciertos, NF = N de fallos, NP = N preguntas Tiempo: 1:15h


SOLUCIONES

1.- b
2.- a
3.- a
4.- c
5.- d
6.- b
7.- c
8.- d
9.- c
10.- a
11.- b