ALGEBRA I MAT - 100

PRACTICA Nº 1
LOGICA MATEMATICA
1. Escriba en forma de proposiciones los siguientes enunciados:
a) Si las exportaciones aumentan entonces subirán las utilidades
b) Los precios son bajos si y sólo sí los costos disminuyen
c) Si la producción aumenta entonces bajarán los precios
d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa
e) Si la contaminación aumenta entonces existirá restricción vehicular adicional
2. Sean p, q, r las proposiciones siguientes:
p: “ está lloviendo”
q: “el sol está brillando”
r: “hay nubes en el cielo”.
Traduzca lo siguiente a notación lógica, utilizando p, q, r y conectivos lógicos.
a) Está lloviendo y el Sol está brillando”.
b) Si está lloviendo, entonces hay nubes en el cielo.
c) Si no está lloviendo, entonces el Sol no está brillando y hay nubes en el cielo.
d) El Sol está brillando si y sólo si no está lloviendo.
e) Si no hay nubes en el cielo, entonces el Sol está brillando.
3. Sean p, q y r como en el ejercicio anterior. Traduzca lo siguiente a oraciones en
español.
a) (p ∼q) ∧r
b) ∼ (p ∨ (q ∧∼ r)

c) (p  r)  q

d) ∼ (p ⇔ (q ∨ r))

e) ∼ (p ∨ q) ∧ r
4. Supongamos que todos los días que llueve Juan usa paraguas. ¿Cuáles de las
siguientes proposiciones puedes asegurar que son verdaderas y cuáles no puedes
asegurar?
a) Si llueve entonces Juan usa paraguas.

b) Si Juan usa paraguas entonces llueve.

c) Si Juan no usa paraguas entonces no llueve.

d) Si no llueve entonces Juan no usa paraguas.

1
ALGEBRA I MAT - 100

e) Si no llueve entonces Juan usa paraguas.

5. Enlaza cada proposición con su oración (mediante flechas):

“Llueve” = p , “Hace sol” = q

Llueve y hace sol ∼p

Llueve y no hace sol p q
Llueve o hace sol p q
Si no llueve, hace sol p ∼ q
No es cierto que llueva ∼∼p
No es cierto que no llueva q ∼ p
Hará sol si y sólo si no llueve ∼ p q

6. Escribe las proposiciones y la formula proposicional de:

“Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría
ningún problema. Pero si los hechos son bárbaros o no respetuosos con los seres
vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos
considerarnos dignos de nuestro tiempo.”
7. Analiza el siguiente enunciado y señala cuáles de las siguientes formalizaciones son
adecuadas o equivalentes:
Pienso, luego soy. (Descartes)
a) p q b) p q c) ∼p ∼q d). ∼q ∼p e) ∼ (p ∼q) f) ∼ (∼p v q)

8. Suponiendo que p ⇒ q es falso, indica los valores de verdad para:

a) p ∧ q b) p ∨ q c) q  p
9. Sabiendo que la proposición compuesta (∼q) ∨ (q  p) es falsa, indique cuál es el
valor de verdad de las proposiciones p y q.
10. Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:
a) [ ( p ∧ ∼ q ) v ∼ r ]  q
b) [ (∼ r v q ) ∧ ( r v ∼ p) ]  ∼ r
c) [ (∼ p  q )  ∼ r ] v [ ∼ q r ]
11.- ¿Cuáles deben ser los valores de verdad de p y q para que la siguiente
proposición sea:
a) [ ( q  p ) ∧ ∼ q ]  ( p ∧ ∼ q ) Falsa
b) [ (∼ p  q ) ∼ r ] v [ ∼ q  r ] Falsa
c) { ~p ∧ ( p v q ) } ∧ [ p  q ] Verdadera
12.- Sean p, q, r, tres proposiciones tales que r es falsa, p  ∼ q y q r son verdaderas,
deducir el valor de verdad de p.
13. Indique para qué valores de verdad de p y q resulta verdadera la proposición
compuesta.
(p  q) ∧ (∼q  p).

2
ALGEBRA I MAT - 100

14. Si la proposición p es verdadera y la proposición q es falsa, entonces cuales de las

siguientes afirmaciones es (son) correcta ( s ):
I. p  q es una proposición verdadera
II. p  q es una proposición falsa
III. ∼p v q es una proposición verdadera
15. Si negamos la proposición p v q es:
I. ∼p v q
II. ∼p ∧ ∼q
III. ∼p v ∼q
16. Se sabe que la proposición: [(p v q) ∧ p]  [ (r v q)  p ] es falsa. Determinar los
valores de verdad de las siguientes proposiciones:
a) p, q, r
b) [(p ∧ ∼ q)  (r v p) ]  [ ∼ q ∧ (r v p) ]
17. Sean p y q dos proposiciones distintas, si (p v q) es falsa entonces
a) p es verdadera y q es falsa
b) p es verdadera y q es verdadera
c) p es falsa y q es falsa
d) p es falsa y q es verdadera
e) Ninguna de las anteriores
18. Si la posición compuesta: ( p Λ ~q ) → (r → ~ s) es falsa, hallar el valor de “p”, “q”, “r” y
“s” respectivamente.
19. la proposición compuesta: ~ ( p V ~q ) Λ ( q ↔ r ) es verdadera y las proposiciones “s” y
“t” son proposiciones cualesquiera. ¿Cuáles de las siguientes proposiciones son
verdaderas?
I). (p v s)
II). (t Λ q) → r
III). (s → r) → q
20. Para las siguientes proposiciones compuestas, elabore las tablas de valor de verdad
correspondientes:
a) ∼ (p ∧ q)
b) ∼ (p ∨ q)
c) (p  q)  [(p ∨∼q)  (p ∧ q)]
d) [(p ∨ q) ∧ r]  (p ∧∼q)
e) [(p ↔ q) ∨ (p  r)]  (∼q ∧ p)
f ) ∼ (p ∧ q) ∨ (r ∧∼p)
g) (p ∨ q) ∧ (∼p ∨ q) ∧ (p ∨∼q) ∧ (∼p ∨∼q)
21. Construye las tablas de verdad e indica si se trata de tautologías, contradicciones, o
contingencias.
a) ∼p ∨ q

3
ALGEBRA I MAT - 100

b) (p ∧ q) p
c) p ∼p

d) (p ∼q) ∧ (p ∨∼q)
e) (p ∼q) ∨ (p ∨∼q)
f) (∼p ∨ q) p q)
g) ( p ∧ q ) [ ∼ (∼p ∨∼q ) ]
g) ( p ∨ q ) [ ∼ (∼p ∧∼q ) ]
22. Formaliza el siguiente enunciado a través de proposiciones. ¿Cuántas variables tiene
la tabla? ¿Es una tautología?
“Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del
susto, entonces no puedes sino apelar a su bondad y así no ser engullido. Por lo tanto, si un
animal fabuloso se enfada, tendrás que apelar a su bondad o serás engullido.”
23. Cuál de las siguientes expresiones son lógicamente equivalentes a (∼ p v ∼ q ) ∧ r
a) p  ( ∼ q ∧ r )
b) ( p  q ) ∧ r
c) ( p  ∼ q ) ∧ r
d) p  ( q v r )
24. Probar que las tres proposiciones siguientes son equivalentes:
p  (q v r)
(p ∧ ∼q)  r
(p q) v (p  r)
25. Determine si las siguientes proposiciones son equivalentes o no.
a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p  q) (q  p) ]
b) (p  q) con (∼p  ∼q)
c) [p  (q v r)] con [(p q) v ( q r )]
d) [p  (q ∧ r)] con [∼p v (q ∧ r)]
e) [∼ (p v q)] con (∼p v ∼q)
26. Probar que ∼ p es equivalente con [(p v q)  (∼p ∧ q)] ∧ (p  q)
27. Transformar la proposición: p  ∼(∼q r) en otra equivalente que contenga sólo
conectivos "∧ ", “v “y "∼"
28. Demostrar que:
a) p v (∼ p ∧ q ) ≡ p v q
b) ∼ [(p v q) ∧ (p v ∼q)] ≡ ∼p
c) ∼ [(p v ∼q) ∧ (∼r v p )] ≡ ∼ p v (q ∧ r)]
d) ∼ (q ∧ p) ∧ (p  q) ≡ V
e) (∼ q  p) ∧ (q ∧ ∼ p) ≡ q
f) (p  q) v (p  r) ≡ p (q v r)
g) p  q ≡ ∼ q  ∼ p

4
ALGEBRA I MAT - 100

h) ∼ (p v q) ∧ (p  q) ≡ ∼p
i) (p  r) v (q  r) ≡ ( p ∧ q )  r
j) (p  q) p ≡ p v q
k) [(∼p ∧ q) v (p ∧ ∼q)] v ∼ (∼p  q) ≡ ∼p v ∼q
l) [ (p  r) (p ∧ r) ] ∧ [(p ∼ q) q] ≡ p ∧ q
m) [(∼p q) ∧ r ] v [ r ∧ ( p v ∼ q) ] ≡ r
29. Se define: p ◊ q ≡ (p ∧ ∼q) v (q ∧ ∼p)
Simplificar: [(∼ p ◊ q) q ] [ p q ◊ p ) ]
30. Simplifique las siguientes proposiciones usando álgebra de proposiciones:
a) p  [∼q  (p v q)]
b) (∼q  r) v ∼r
c) ∼ [(∼p  q)  ∼ (p v ∼q)]
d) p ∧ [(q ∧ ∼p)  (p v ∼q)]
e) a v [(b  ∼b) ∧ (a  ∼a)]
f) (p  q)  p
g) (p  q)  q
31. Determinar una proposición x tal que:
a) p v (∼ p ∧ x) ≡ p v q R=q
b) ∼ [(p v q) ∧ (p v x)] ≡ ∼p R = ∼q
c) ∼ (q v p) ∧ (p  x) ≡ ∼p R = ∼p
d) [x (q v ∼ x)] ∧ (p v x) ≡ p R = ∼p
e) [(∼x q) ∧ (q v ∼ x) ] v (∼ p ∧ x) ≡ q R = ∼q
f) [(x q) x] ∧ (∼q p) ≡ q R=q
32. Construir el circuito que representa a cada una de las proposiciones.
a) (p  q)
b) (p  q)
c) ∼ [(p v q) ∧ (p v ∼q)]
d) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] ∧ (p v ∼q)]
e) [ (p  r) (p ∧ r) ]
f) ∼ [(p v q) ∧ (p v ∼q)]  ∼p
g) [(p  q) v (p  r) ] v [p (q v r) ]
h) [(∼p ∧ q) v (p ∧ ∼q)] v [∼ (∼p  q)  (∼p v ∼q)]
i) {[(∼p v q) ∧ (p v ∼q)] v [(p ∧ ∼q) v ∼ (q ∧ ∼p)]} ∧ [(q ∧ ∼ p) v (p q)]
j) {∼ [(∼p v q) ∧ (∼p v ∼q)] v [(p ∧ q) v (q ∧ p)]} v [(∼p  ∼q)  (∼p  ∼q)]

5
ALGEBRA I MAT - 100

33. Escribir las proposiciones que caracterizan a los siguientes circuitos lógicos, simplificar
aplicando leyes lógicas y construir el circuito lógico equivalente.

p q
a) R: p ∧ q
p
~p ~q

q ~p

p ~q

b) ~q s R: ∼q ∧ (p v s)
~q

~s p
q

~p ~q
c) R: p ∧ q
p

p q

~p ~q p

d) R: p v q
p ~r
q
q ~p

~p
~p q
e) p q R: ∼p v ∼q
p ~q
q
~p
~p

f) q R: ∼p
p ~q p

~p ~q
q
~q ~p
~p
q r
r p
g) p p R: r ∧ ∼q
~q
r ~p

p r

~p r
~p
h) p q ~r R: p ∧ ∼r
~r
r

p ~q
6
ALGEBRA I MAT - 100

i) p ~p R: p ∧ q
q
~q q
p r q

p ~p q

r
~p r
p r q ~r
p
j) R: q ∧ (∼p v ∼r)
~p r
p
~p
~q

34. Por medio de tablas de valor de verdad, verificar si los razonamientos son correctos:

a) pq b) p v ∼q

q . ∼p .

p ∼q

c) pr d) ∼p v ∼q
∼p  q p

∼r . r  q .
q ∼r
e) p∧q f) AvB
r v ∼q AC
r q B  C
p q CvD
g) q v ∼p ∼p  q
h)
r  ∼q ∼r∼q
∼rvp ∼ ( p ∧ ∼t)
p ∼r .

t
35. En cada uno de los siguientes ejercicios, demostrar la validez de los razonamientos,
indicando el método a aplicar y las reglas utilizadas.
a) 1. (p v q)  (r ∧ t) P
2. ∼ s  ∼r P

7
ALGEBRA I MAT - 100

3. ∼ s /  ∼ p P/C

b) 1. ∼R ∼ Q P
2. ∼R P
3. P  Q/ ∼P P/C

c) 1. s  [(p v r )  t] P
2. ∼ t ∧ s P
3. p  q P
4. ∼ q / r P/C

d) 1. p  q P
2. r  s P
3. ∼ q P
4. r /  s ∧ p P/C

e) 1. p  t P
2. q  r P
3. p v q P
4. ∼ t /  r ∧ ( p v q) P/C

f) 1. ( p v q ) ∧ ( p v r ) P
2. ∼ p / r P/C

g) 1. (r ∼ p) ∧ (p  q) P
2. q  r P
3. ∼ s  p / ∼ s∼ p P/C

h) 1. (p ∧ q)  r P
2. ∼ r v t P
3. ∼ t P
4. p / ∼ q P/C

i) 1. p v ∼ q P
2. ∼ q ∧ r P
3. p v ∼ r / p P/C

j) 1. x + 2 > 5  x =4 P
2. x = 4 x + 4  7 P
3. x + 4 < 7 P
8
ALGEBRA I MAT - 100

4. x + 2 > 5 v (5-x>2 ∧ x<3) /  x < 3 P/C

k) 1. x = y  x = z P
2. x ≠ y  x < z P
3. x  z v y > z P
4. y ≠ z ∧ x ≠ z /  y > z P/C

l) 1. p v q P
2. p  r P
3. r  s P
4. q  s P
5. ( s v t )  u P
6. p  ∼ u / q P/C

m) 1. p v r P
2. q  ∼ s P
3. p  q P
4. t  ∼ s P
5. p v t P
6. r  s / q P/C

n) 1. ( q ∧ r)  ( s v t) P
2. p  (r ∧ q) P
3. u  ∼ ( t v s) P
4. v  ( r ∧ q) P
5. u  v P
6. u v p / p v w P

36. Investigar la validez de los siguientes razonamientos:

a) Si no llueve, entonces Mario va a la playa. Mario no va a la Playa. Entonces llueve.
b) “Si el triángulo es isósceles, entonces tiene dos lados iguales. Pero, el triángulo no tiene dos lados
iguales. Por lo tanto, no es isósceles”.
c) O vamos al cine o vamos al teatro. No vamos al cine. Por tanto, Vamos al cine.
d) Si el interés no es egoísta, entonces es la fuerza vital de las personas y es espontaneo. El interés no es la
fuerza vital de las personas y es espontaneo. Por tanto el interés es egoísta.
e) Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de familia. Si el
hermano de la madre es el cabeza de familia, entonces el padre no tiene autoridad. Esta es una sociedad
matriarcal. Por tanto, el padre no tiene autoridad.
f) O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si esta roca es granito
entonces no es una roca sedimentaria. Por tanto, esta roca es una roca ígnea.
g) Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más baja que Juana.
Si Juan y Luis tienen la misma estatura, entonces Juan es más alto que Pedro. Por tanto, Juan y Luis no
tienen la misma estatura.

9
ALGEBRA I MAT - 100
h) Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el segundo, entonces A no
ganó la carrera. Si D fue el segundo, entonces C no fue el segundo. A ganó la carrera. Entonces, D no fue el
segundo.
i) Si la tormenta continua o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a
dormir no iremos mañana al concierto; pero si iremos mañana al concierto. Así pues la tormenta no continua.
j) Si un triangulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un triangulo tiene tres ángulos
y su suma vale dos ángulos rectos. Si los rombos tienen cuatro ángulos rectos, los cuadrados no tienen
cuatro ángulos rectos. Por tanto, los rombos no tienen cuatro ángulos rectos.
k) Si la gorila es atractiva, el gorila sonreirá abiertamente o será infeliz. Si no es feliz, no procreará en
cautiverio. Por consiguiente, si la gorila es atractiva, entonces, si el gorila no sonreirá abiertamente, no
procreara en cautiverio.
l) Si no es cierto que se puede ser rico y feliz a la vez, entonces la vida está llena de frustraciones y no es un
camino de rosas. Si se es feliz, no se puede tener todo. Por consiguiente, la vida está llena de frustraciones.
37. Expresar las siguientes proposiciones en forma simbólica, negarlas y traducirlas al lenguaje común.
a) algunos cuerpos son sólidos
b) Todos los mamíferos son vertebrados.
c) Ningún sabio es ignorante.
d) Todos los números enteros son impares
e) Todo el que la conoce, la admira.
f) Todo entero admite un inverso aditivo.
g) Hay alumnos que estudian y trabajan.
h) El cuadrado de todo número real es mayor que 2.
i) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente.
j) Ningún cuento de hadas es una historia real.
38. Deducir las siguientes conclusiones de las premisas dadas, dando una demostración
formal completa en la forma típica.

a) Demostrar: 5 + 8 < 5 + 9
1. x: x < 4 + 7 x < 5 + 9
2. y: y + 8 >4 + 10 v y + 8 < 4 + 7
3. 5 + 8 > 4 + 10

b) Demostrar: 5 < 3
1. x: (x < 6 ∧ 6<5) (x < 3)
2. y: -6 < - y y < 6
3. 6<5
4. -6< -5

10
ALGEBRA I MAT - 100

Docente: Ing. Alfredo Carreón E. Sucre, 5 de marzo de 2014.

11