INSTITUTO TECNOLGICO METROPOLITANO

Tecnologa en Sistemas de Informacin - Matemticas para la Informtica

Propuesta de trabajo independiente - Lgica Proposicional
En los ejercicios 1 y 2 use los siguientes datos: p: Estoy despierto; q: Trabajo duramente; r: Sueo con mi hogar.
1. Escriba cada una de las siguientes proposiciones en trminos de p, q, r y de palabras de unin lgicas.
a) Estoy despierto implica que trabajo duramente.
b) Sueo con mi hogar solamente si estoy despierto.
c) Trabajar duramente me basta para estar despierto.
d) Me es necesario estar despierto para no soar con mi hogar.
2. Escriba cada una de las siguientes proposiciones en trminos de p, q, r y de las palabras de unin lgicas.
a) No estoy despierto si y slo si sueo con mi hogar.
b) Si sueo con mi hogar, entonces estoy despierto y trabajo duramente.
c) No trabajo duramente slo si estoy despierto y no sueo con mi hogar.
d) No estar despierto y soando con m hogar me basta para trabajar duramente.
3. Enuncie la recproca de cada una de las siguientes implicaciones.
a) Si 2+2=4, entonces yo no soy la reina de Inglaterra.
b) Si no soy presidente de los Estados Unidos, entonces caminar a mi trabajo.
c) Si ya se me hizo tarde, entonces no tom el tren para mi trabajo.
d) Si tengo tiempo y no estoy demasiado cansado, entonces ir a la tienda.
e) Si tengo suficiente dinero, entonces comprar un automvil y comprar una casa.
4. Determine el valor de verdad para cada una de las siguientes proposiciones.
a) Si 2 es par, entonces Nueva York tiene una poblacin grande.
b) Si 2 es par, entonces Nueva York tiene una poblacin pequea.
c) Si 2 es impar, entonces Nueva York tiene una poblacin grande.
d) Si 2 es impar, entonces Nueva york tiene una poblacin pequea.

En los ejercicios 5 y 6 sean p, q, r las siguientes proposiciones: p: Estudiare estructuras discretas; q: Ir a un cine; r: Estoy
de buen humor.
5. Escriba las siguientes proposiciones en trminos de p, q, r y de conectivos lgicos.
a) Si no estoy de buen humor, entonces ir a un cine.
b) No ir a un cine y estudiar estructuras discretas.
c) Ir a un cine slo sino estudio estructuras discretas.
d) Si no estudio estructuras discretas, entonces no estoy de buen humor.
6. Escriba oraciones que correspondan a las siguientes proposiciones.
a) ((p)^q) r)
c)
b) r (p q)
d)

(r)((q) p)
(q ^ (p)) r

7. Construya tablas de verdad para determinar si cada una de las siguientes proposiciones es una tautologa, una contingencia
o una falacia.
a) P ^ q
e) (q ^ p) (q ^ p)
b) P (q p)
f) (p ^ q) p
c) q (q p)
g) P (q ^ p)
d) q (q ^ p)
8. Si p q es falsa, puede determinar el valor de verdad de ( (p ^ q) q)? Explique su respuesta.
9.

Si p q es falsa, puede determinar el valor de verdad de (p) (p q)? Explique su respuesta.

Asignatura: Matemticas para la Informtica

Docente: Mauricio Correa Villa

Pgina 1

INSTITUTO TECNOLGICO METROPOLITANO

Tecnologa en Sistemas de Informacin - Matemticas para la Informtica
Propuesta de trabajo independiente - Lgica Proposicional
10. Escriba la negacin de cada una de las siguientes proposiciones.
a) Hace mal tiempo y no ir a trabajar.
b) Si Carolina no est enferma, entonces va a la excursin; ella la va a pasar bien.
c)
Yo no ganar el juego o no entrar a la competencia.
11. Considere las siguiente proposicin condicional: p: Si la inundacin destruye mi casa o el fuego destruye mi casa, entonces
mi compaa de seguros me pagar. Determine la contrarecproca
12. El enunciado: No es cierto que un triangulo es equiltero si y slo si es issceles es equivalente a:
a) Un triangulo no es equiltero si y slo si no es issceles.
b) Un triangulo es equiltero y no es issceles o es issceles y no es equiltero.
c)
Un triangulo no es equiltero y no es issceles.
d) Si un triangulo no es equiltero entonces no es issceles o si un triangulo no es issceles entonces no es
equiltero.
13. La negacin del enunciado (R T) es:
a) R T.
b) R ^ T.

c)
d)

14. Si P es verdadero y Q falso entonces el enunciado verdadero es:

a) Q P.
c)
b) Q ^ (P ^ Q).
d)

R T.
R ^ T.

Q (P ^ Q).
P (Q P).

15. Si el valor de verdad de P es 1, de Q es 0, de R es 0 y de S es 1, el enunciado falso es:

a) (P Q).
c) (P ^ Q) (R ^ S).
b) Q P.
d) Q (R S).
16. La proposicin Si un triangulo tiene dos de sus ngulos iguales entonces es issceles puede enunciarse como:
a) Una condicin suficiente para que un triangulo sea issceles es que tenga dos de sus ngulos iguales.
b) Si un triangulo no tiene dos de sus ngulos iguales entonces no es issceles.
c) Si un triangulo es issceles entonces tiene dos de sus ngulos iguales.
d) Una condicin necesaria para que un triangulo sea issceles es que tenga dos de sus ngulos iguales.
17. La negacin del enunciado: si y son ngulos opuestos por el vrtice, entonces es igual a , es:
a) Si y no son ngulos opuestos por el vrtice entonces no es igual a .
b) y son ngulos opuestos por el vrtice y no es igual a .
c)
Si y son ngulos opuestos por el vrtice entonces no es igual a .
d) Si y son iguales entonces y no son ngulos opuestos por el vrtice.
18. La negacin del enunciado : Si a divide a b y b divide a c entonces a divide a c es:
a) Si a no divide a b y b no divide a c entonces a no divide a c.
b) a no divide a b, b no divide a c y a no divide a c.
c)
a divide a b, b divide a c y a no divide a c.
d) si a no divide a c entonces a no divide a b y b no divide a c.
19. la proposicin Si a 0 entonces a 0 puede escribirse como:
a) si a =0 entonces a = 0.
b) Si a = 0 entonces a = 0.
c)
a 0 es necesario para que a 0.
d) a 0 es suficiente para que a 0.

Asignatura: Matemticas para la Informtica

Docente: Mauricio Correa Villa

Pgina 2

INSTITUTO TECNOLGICO METROPOLITANO

Tecnologa en Sistemas de Informacin - Matemticas para la Informtica
Propuesta de trabajo independiente - Lgica Proposicional
20. Albert Einstein hizo el siguiente comentario: Si se demuestra mi teora de la relatividad, Alemania me reclamar como
Alemn y Francia declarar que soy ciudadano del mundo; pero si mi teora resulta falsa, Francia dir que soy alemn y
Alemania declarar que soy judo. Si P, Q, R, S y T representan proposiciones simples , el enunciado se representa
lgicamente como:
a) (P Q) ^ (PR).
c)
(P (Q ^ R)) ^ (P (S ^ T)).
b) (P ^ Q ^ R) ^ (P ^ S ^ T).
d) (P (Q ^ R)) (P (S ^ T)).
21. Si un tringulo es equiltero, sus medianas tienen la misma medida. Otra forma para el mismo enunciado es:
a) Es necesario que un triangulo sea equiltero para que sus medianas tengan la misma medida.
b) Es suficiente que un triangulo sea equiltero para que sus medianas tengan la misma medida.
c)
Si un triangulo no es equiltero, sus medianas no tienen la misma medida.
d) Es suficiente que las tres medianas de un triangulo tengan la misma mediana para que el triangulo sea equiltero.
22. si a = b entonces a+c = b+c. otra forma para este enunciado ser:
a) Para que a = b es necesario que a+c = b+c.
c)
Si a b entonces a+c b+c.
b) Para que a+c = b+c es necesario que a=b.
d) Para que a=b, es suficiente que a+c = b+c.
23. si x = 4 entonces x= 2 x= -2. Este enunciado puede escribirse simblicamente como:
a) P Q.
c)
(P Q) R.
b) P (Q R).
d) P (Q Q).
24. Si x es menor que cero, el valor absoluto de x es x. otra forma para ste enunciado es:
a) Si el valor absoluto de x es x, x es menor que cero.
b) Si el valor absoluto de x no es x, x no es menor que cero.
c)
Si x no es menor que cero, su valor absoluto no es x.
d) X menor que cero es una condicione necesaria para que el valor absoluto de x sea x.
25. Dadas las proposiciones:
i)
P ^ Q.
ii)
P Q.
iii) P Q.
El enunciado falso es:
a) ii) es equivalente a iii).
b) i) implica a iv).

iv)
v)

P Q.
P ^ Q.

c)
d)

v) implica a ii) y a iii).

ii) es equivalente a v).

26. Si P es lgicamente verdadero entonces el enunciado verdadero es:

a) (P Q) es verdadero.
c)
(P Q) es equivalente a Q.
b) (P ^ Q) es equivalente a Q.
d) P Q es equivalente a Q.
27. El enunciado: Toda funcin diferenciable es continua es verdadero, pero su recproco no lo es. Luego la proposicin
verdadera es:
a) Una funcin continua es diferenciable.
b) Ser diferenciable es una condicin necesaria para que una funcin sea continua.
c)
Una funcin es continua slo si es diferenciable.
d) Ser diferenciable es una condicin suficiente para que una funcin sea continua.
28. La negacin del enunciado Todo nmero par es la suma de dos nmeros primos es:
a) Existen dos nmeros primos cuya suma no es par.

Asignatura: Matemticas para la Informtica

Docente: Mauricio Correa Villa

Pgina 3

INSTITUTO TECNOLGICO METROPOLITANO

Tecnologa en Sistemas de Informacin - Matemticas para la Informtica
Propuesta de trabajo independiente - Lgica Proposicional
b)
c)
d)

Ningn nmero par es la suma de dos primos.

Existe un nmero par que no es la suma de dos nmeros primos.
Algn nmero par es la suma de dos primos.

29. El enunciado: No todos los puntos del plano estn sobre la recta L puede enunciarse como:
a) Algunos puntos del plano estn sobre la recta L. c)
Algunos puntos del plano no estn sobre la recta L.
b) Ningn punto del plano est sobre la recta L.
d) Existen puntos de la recta L que estn en el plano.
30. La negacin del enunciado Existen al menos dos rectas diferentes es:
a) Todas las rectas son diferentes.
c)
Al menos dos rectas no son diferentes.
b) Algunas rectas no son diferentes.
d) No existen rectas diferentes.
31. Todo entero puede escribirse como el producto de nmeros primos. Otra forma para ste enunciado es:
a) Ningn nmero entero puede escribirse como el producto de nmeros no primos.
b) Todo producto de nmeros primos es un entero.
c)
Ningn entero cumple que no pueda escribirse como el producto de nmeros primos.
d) No existen enteros que no puedan escribirse como el producto de nmeros no primos.
32. El enunciado Todos los nmeros reales son racionales es falso. Por tanto es verdadera la proposicin:
a) Algunos nmeros racionales no son reales. c)
Todos los nmeros reales son irracionales.
b) Ningn nmero racional es real.
d) Algunos nmeros reales no son racionales.

33. Si p es verdadero(1), q es falso (0) y r es verdadero (1), determinar el valor de verdad de las siguientes proposiciones:
a) p (q v r)
f) (p q) (~q r)
b) (p q) v (q r)
g) ~[(~p ~q) (p v r)]
c) p ~(q r)
h) ~q [p ( p v ~q)]
d) (p q) (~q v p)
i) ~[(~p v q) ~(q ~p)] (~p v ~q)
e) (p v ~ q) v (p r)

34. Dadas tres proposiciones p, q ,r, demostrar utilizando las leyes del lgebra de proposiciones las siguientes equivalentes:
a) [(p q) v (~p r) v (q r)] [(p q) v (~p r)]
b) [(p v q) (~p v r) (q v r)] [(p v q) (~p v r)]
c) (~p q r) v (~p ~q r) v (p q ~r) v (p ~q ~r)
d) (p q) (~p v q) (~p q) v (p ~q)
e) (p v ~q) (q v r) (q v ~r) (p q)
f) (p v ~q) (q v ~r) (~p v r) (~p v ~q) ~p ~q ~r
g) (p q r) v [(p v q) (p v r)] [p v (q r)]
h) (p ~q) v (p r) v (p q) p
35. Verificar la validez de cada uno de los siguientes argumentos:
a) p q
~p q
~q
c)

p
pvq
(p v q) r
rs
s

Asignatura: Matemticas para la Informtica

Docente: Mauricio Correa Villa

(~p r) v (p ~r)

b)

p
p [q (r s)]

s
d) [(p q) r] s
r
s

Pgina 4

INSTITUTO TECNOLGICO METROPOLITANO

Tecnologa en Sistemas de Informacin - Matemticas para la Informtica
Propuesta de trabajo independiente - Lgica Proposicional

Asignatura: Matemticas para la Informtica

Docente: Mauricio Correa Villa

Pgina 5