TALLER

OGICA SIMB

OLICA
1. Sea P Me gusta la fruta, Q No me gusta el cereal y R Se cocinar
un homelete. Traduzca las siguientes armaciones en palabras.
a) P Q
b) R
c) P Q
d) (R P) Q
e) R (P Q)
f ) (P R) Q
g) P (R Q)
h) (P Q) (Q R)
2. Sea E La casa es verde, F La casa tiene 30 a nos y G La casa es bella.
Transcriba las siguientes frases en armaciones del calculo proposicional.
a) Si la casa es verde, entonces es fea o tiene 30 a nos.
b) La casa no es fea si y solo si tiene 30 a nos.
c) La casa tiene 30 a nos si es azul, y no es fea si tiene 30 a nos.
d) Para que la casa sea fea, es necesario que sea fea y tenga 30 a nos.
3. Indique cual de las siguientes armaciones es tautologa, contradiccion, o
ninguna de las dos.
a) [(P (Q R)) ((R Q) Z)].
b) [R (S T)] [R T].
c) [(R S) (S T)] [R T].
d) (X Y ) ((X Y )).
e) (A B) (A B).
f ) ((X Z) (X Y )) X.
4. Sea T una tautologa y C una contradiccion. Dada una armacion P,
verique que las siguientes armaciones son tautologas.
1
a) ((T P) P) (Eliminacion de una verdad en una conjucion).
b) ((C P) P) (Eliminacion de una falsedad en una disyuncion).
c) T P es tautologa.
d) C P es contradiccion.
5. Justique, mediante tautologas, el ejercicio anterior o tablas de verdad,
que las siguientes armaciones son tautologas del calculo proposicional.
a) (P Q) (R S) (P R) (P S) (Q R) (Q S).
b) (P Q) (R S) (P R) (P S) (Q R) (Q S).
c) (P Q) ((P Q) (P Q)).
d) ((P Q)) (P Q) (Q P).
e) ((P Q)) ((P) Q).
f ) ((P Q)) (P (Q)).
g) P (Q R) (P Q) R.
6. Mediante las principales tautologas de la logica proposicional, reglas de
inferencia, metodo de la deduccion y ejercicios previos, justique que las
siguientes armaciones son tautologas.
a) ((P Q)) P.
b) (P Q) ((P R) (Q R)).
c) ((P Q) (P Q)) P.
d) P (P (P Q)).
e) (P (Q R)) ((P Q) (P R)).
f ) ((P R) (Q S)) ((P Q) (R S)).
g) ((Q R) P) ((Q P) (R P)).
h) P (P (P Q)).
i ) ((P Q) R) (P (Q R)).
7. Escriba el recproco y el contrarrecproco de las siguientes armaciones.
a) Si es jueves, estoy en Belgica.
b) Buena fachada hace buenos vecinos.
c) Si x
2
+ 2x + 1 = 0 entonces x = 1.
d) Un m ultiplo de 3 es impar.
e) Si x es divisible por 3 entonces es divisible por 6.
f ) Si a, b son n umeros impares, entonces ab es impar.
g) Si a, b, c son n umeros impares, entonces a(bc) es un n umero par.
2
8. Niegue los siguientes enunciados.
a) 5 > 0.
b) 3 < 5 7 8.
c) sin < 0 tan 0 0.
d) Si y = 3 entonces y
2
= 7.
e) w3 < 0 implica que 2w + 9 > 6w.
f ) ab = c sii a = b +c.
Reglas de Inferencia
9. Justique las siguientes deducciones.
a) P (Q R)
P
(R Q) Z
b) P Q
(P Q) R
R
c) (X) Y
X Z
(Z) Y
d) E F
(G) F
H I
E H
G I
e) L M
(M N) (L K)
P L
K
f ) (A) (B C)
C A
(D A) C
D
B
10. Transcriba el siguiente razonamiento en armaciones del calculo proposi-
cional y demuestrelo empleando las reglas de inferencia.
a) Si Oliveira esta triste, entonces Oliveira lee poemas.
b) Si Oliveira lee poemas, entonces Oliveira no toma mate.
c) Oliveira esta triste o ama a la Maga.
d) Oliveira toma mate.
e) Conclusion: Oliveira ama a la maga.
11. Si una armacion del calculo proposicional tiene n letras, cuantas las
tiene su tabla de verdad?
3
Calculo de Predicados
12. Considere C el conjunto de los carros. Sea L(x, y) x es tan rapido como
y, M(x, y) x es tan caro como y y N(x, y) x es tan viejo como y.
Traduzca las siguientes armaciones al lenguaje com un.
a) !
xC

yC
L(x, y)
b)
xC

yC
M(x, y)
c)
yC

xC
(L(x, y) N(x, y))
d)
xC
!
yC
((M(x, y)) L(x, y))
e)
xC

yC
(M(x, y)
xC
N(x, y))
f )
yC
(
xC

yC
N(x, y))
xC
M(x, y)
13. Suponga que los posibles valores de p y q son frutas. Sea A(p, q) p sabe
mejor que q, B(p, q) p esta mas maduro que q, y C(p, q) p es de la
misma especie que q. Escriba las siguientes armaciones en smbolos.
a) Hay fruta tal que todas las frutas saben mejor que ella.
b) Para toda fruta, existe otra que esta mas madura que ella.
c) Hay una fruta tal que todas las frutas saben mejor que ella y no son
mas maduras que ella.
d) Para toda fruta, hay una fruta de la misma especie que no sabe mejor
que ella.
14. Escriba la negacion de cada armacion. No escribir la palabra no apli-
cada antes de un cuanticador (Por ejemplo, no escribir No todo chico
esta bienpara el inciso (a). Para solucionar estos problemas, recomiendo
traducir la armacion a smbolos, aplicar la negacion y, la formula resul-
tante, traducirla en palabras.) Recuerde utilizar cuanticadores acotados
(por ejemplo, en (g) utilice el conjunto de las casas en Medelln y el con-
junto de las personas).
a) Todos los chicos estan bien.
b) Hay bates que pesan 50lbs o mas.
c) La ecuacion 10x 2x 0 es cierta para todos los n umeros reales x.
d) Todo padre tiene que cambiar pa nales.
e) Todo platillo volador esta apuntando a conquistar alguna galaxia.
f ) Existe un entero n tal que n
2
es un n umero perfecto.
g) Existe una casa en Medelln tal que todo quien entra va a las persia-
nas.
h) Toda casa tiene una puerta que esta escrita.
i ) Al menos una persona en Bogota tiene cada libro publicado en 1990.
4
15. Justique o de un contraejemplo a cada una de las siguientes armaciones.
a) Para cada real no negativo s, existe un real no negativo t tal que
s t.
b) Para cada real no negativo t, existe un real no negativo s tal que
s t.
c) Para todo n umero natural n, existe un natural m tal que m < n.
d) Todos los n umeros primos son impares.
e) Para todo n umero racional q existen enteros a, p tal que p es primo
y q = a.
f ) Para cada entero a, existe un entero b tal que a divide a b.
g) Existe un entero b tal que para todo entero a, se tiene que a divide a
b.
h) Para cada entero b, existe un entero a tal que a divide a b.
i ) Existe un entero a tal que para todo entero b, se tiene que a divide a
b.
j ) Existe un unico entero que divide al 1.
k) El producto de dos irracionales es irracional.
Metodos de Demostracion
16. Sean m, n y p n umeros enteros. Pruebe, con metodo directo, los siguientes
enunciados.
a) Si n y m son pares, entonces n +m es par.
b) Si n y m son impares, entonces n +m es par.
c) Si n es par y m impar, entonces n +m es impar.
d) 1 divide a n.
e) n divide a n.
f ) Si m divide a n, entonces m divide an, donde a Z.
g) Si m divide a n y n divide a p, se tiene que m divide a p.
h) Si m divide a n y m divide a p, se tiene que m divide a cualquier com-
binacion lineal de n y p, es decir, m divide a nx +py, para cualquier
par de enteros x y y.
17. Mediante metodo directo y/o contrarrecproco, pruebe los siguientes enun-
ciados.
a) Sean a, b y c enteros. Si a no divide a bc, entonces a no divide a ab.
5
b) Sean x, y R. Si xy es irracional, entonces x es irracional o y es
irracional.
18. Utilice los metodos de demostracion para probar los siguientes enunciados.
Proceda por metodo directo y disyuncion de casos.
a) Dos m ultiplos de 3 no son primos relativos.
b)

3 es irracional. Sugerencia: Haga una prueba similar a la de

2 es
irracional.
c) Sea n un entero. n
2
es m ultiplo de 3 si y solo si n es m ultiplo de 3.
d) Sea n Z. 6 | n si y solo si 2 | n y 3 | n. Sugerencia: Utilize el hecho
de que o n = 6k, n = 6k + 1, n = 6k + 2, n = 6k + 3, n = 6k + 4
o n = 6k + 5 para alg un k Z, de modo que se cumple un unico de
estos seis casos. Proceda por disyuncion de casos para eliminar todos
los casos, excepto n = 6k.
e)

6 es irracional.
f ) Dado un entero n, entre n y n + 1 uno es par y el otro es impar.
Sugerencia: Proceda por disyuncion de casos con n par o n impar.
g) Sean a, b Z. Pruebe que ab es par si y solo si a es par o b es par.
19. Demuestre los siguientes enunciados, por induccion matematica, para todo
n N.
a) 1
3
+ 2
3
+ +n
3
=
n
2
(n+1)
2
4
.
b) 1 + 3 + 5 + + (2n 1) = n
2
.
c) 1 2 + 2 3 + +n (n + 1) =
n(n+1)(n+2)
3
.
d)
1
13
+
1
35
+
1
57
+ +
1
(2n1)(2n+1)
=
2
2n+1
.
e) 2 + 4 + 6 + + 2n = n(n + 1).
f ) 2 + 6 + 18 + + 2 3
n1
= 3
n
1.
g) Si a > 1 entonces a
n
> 1.
h) 3 | n
3
n + 3.
i ) 4 | 5
n
1.
20. Encuentre el mnimo n umero natural a para el cual el enunciado es ver-
dadero. Luego, por el metodo de induccion matematica, pruebe que el
enunciado es verdadero para todo n a.
a) n + 12 n
2
b) 2n + 2 2
n
c) n
2
+ 18 n
3
d) 5 + log
2
n n
6