Universidad Tecnológica Nacional

Facultad Regional Concepción del Uruguay

Guı́a Práctica - Unidad 1

Matemática Discreta

Dr. Carlos Antonio Casanova Pietroboni

Ing. Giovanni Daián Rottoli

Ing. Gonzalo Maximiliano Gorosito

Srta. Luisina Gras

2020
1. Lógica Proposicional
1. Escribir los enunciados en forma simbólica, y utilizar tablas de verdad para evaluar la
verdad de cada enunciado.

a) Sea s = ”las acciones están aumentando” y m = ”las tasas de interés se mantienen

estables”
1) Las acciones están aumentando, pero las tasas de interés son constantes.
2) Ni las acciones aumentan, ni las tasas de interés son estables.
3) Las acciones aumentan, pero las tasas de interés varı́an.
4) Las tasas de interés varı́an o las acciones se mantienen constantes o bajan.
b) Sea m = ”Juan estudia la licenciatura en matemáticas y c = ”Juan estudia la licen-
ciatura en ciencias de la computación”.
1) Juan estudia la licenciatura en matemáticas pero no estudia la licenciatura en
ciencias de la computación.
2) Juan estudia la licenciatura en matemáticas o la licenciatura en ciencias de la
computación
3) Juan estudia la licenciatura en ciencias de la computación o la licenciatura en
matemáticas.
c) Sea h = ”Juan es sano”, w = ”Juan es rico” y s = ”Juan es sabio”.
1) Juan es sano y rico, pero no sano
2) Juan no es rico, pero es sano y sabio
3) Juan ni es sano, rico, ni sabio
4) Juan no tiene dinero, pero es muy saludable y sabio.
5) Juan tiene dinero y es sabio, o es muy saludable.
6) Juan es saludable o no es sabio.

2. Usar la equivalencia p ∨ q → r ≡ (p → r) ∧ (q → r), para reescribir el enunciado: Si x > 2

o x < 2, entonces x2 > 4

3. Utilizar tablas de verdad para establecer el valor de verdad de cada uno de los siguientes
enunciados:

a) Un enunciado condicional no es lógicamente equivalente a su recı́proco.

b) Un enunciado condicional no es lógicamente equivalente a su contrario.
c) Un enunciado condicional es lógicamente equivalente a su contrarecı́proco.
d ) El recı́proco y el contrario de un enunciado condicional son lógicamente equivalentes
entre sı́.

4. Escribir las tablas de verdad para los siguientes enunciados:

a) ¬ p∧ q g) (p ∨ q) ∨ (¬ p ∧ q) → q
b) ¬ (p ∧ q) ∨ (p ∨ q) h) (p ∧ ¬ q) → r
c) p ∧ (q ∧ r) i) (¬ p ∨ q) → r
d) p ∧ (¬ q ∨ r) j) (p ∧ ¬ r) ↔ q ∨ r
e) (¬ p ∨ ¬ r) ∧ q k) (p → r) ↔ (q → r)
f) ¬p ∨ q → ¬ q l) (p → (q → r)) ↔ (p ∧ q) → r

1
5. Determinar si las formas de enunciados son lógicamente equivalentes

a) p ∨ (p ∧ q) y p
b) ¬ (p ∧ q) y (¬ p ∧ ¬ q)
c) p ∨ > y >
d) p ∧ > y p
e) p ∧ ⊥ y p∨⊥
f ) (p ∧ q) ∧ r y p ∧ (q ∧ r)
g) p ∧ (q ∨ r) y (p ∧ q) ∨ (p ∧ r)
h) (p ∧ q) ∨ r y p ∧ (q ∨ r)
i ) (p ∨ q) ∨ (p ∧ r) y (p ∨ q) ∧ r
j ) (p → q) y ¬ p∨q
k ) ¬ (p → q) y p∧¬ q
l ) p → (p → r) y (p → q) → r
m) p → q ∨ r y p∧q →r y p∧¬ r →q

6. Utilizar las leyes de De Morgan para negar los enunciados

a) Esteban estudia la licenciatura en matemáticas y su hermana estudia licenciatura

en ciencias de la computación.
b) Tomás tiene una corbata roja y Luis tiene un cinturón azul.
c) El conector está suelto o el equipo está desconectado.
d ) El dı́gito de las unidades de 467 es 4 o es 6.
e) El código tiene un error en las primeras diez lı́neas o el conjunto de datos está
incompleto.
f ) El dólar está en su punto más alto de todos los tiempos y el mercado de valores está
en un mı́nimo.
g) El tren llegó tarde o mi reloj se adelantó.

7. Suponga que x es un número real dado y utilice las leyes de De Morgan para escribir las
negaciones.

a) −2 < x < 7 d) x ≤ 1 o x > 5

b) −10 < x < 2 e) 1 > x ≥ −3
c) x < 2 o x > 5 f ) 0 > x ≥ −7

8. Determinar cuáles de las siguientes formas son tautologı́as y cuáles son contradicciones:

a) (p ∧ q) ∨ (¬ p ∨ (p ∧ ¬ q))
b) (p ∧ ¬ q) ∧ (¬ p ∨ q)
c) ((¬ p ∧ q) ∧ (q ∨ r)) ∧ ¬ q
d ) (¬ p ∨ q) ∨ (p ∧ ¬ q)

9. Expresar simbólicamente y determinar si los enunciados son lógicamente equivalentes:

2
 a) Suponga que x es un número real dado
1) x < 2 o no es el caso de que 1 < x < 3
2) x ≤ 1 o bien x < 2 o x ≥ 3
b)
1) Jorge estudia dos carreras en matemáticas y en ciencias de la computación,
mientras que Ana es una estudiante de lic. en matemáticas, pero Ana no estudia
dos carreras en matemáticas y en ciencias de la computación.
2) No es el caso de que tanto Jorge como Ana estudian dos carreras en matemáticas
y en ciencias de la computación, pero es el caso de que Ana estudia licenciatura
en matemáticas y que Jorge estudia dos carreras en matemáticas y en ciencias
de la computación.
c)
1) Pagó el precio completo y no compró en la fotocopiadora de la UTN.
2) No compró en la fotocopiadora de la UTN o pagó el precio completo.
d)
1) Si 2 es un factor de n y 3 es un factor de n, entonces 6 es un factor de n.
2) 2 no es un factor de n o 3 no es un factor de n o 6 es un factor de n.
e)
1) Si camina como un pato y habla como un pato, entonces es un pato.
2) O bien no camina como pato o no habla como pato, o es un pato.
3) Si no camina como un pato y no habla como pato, entonces no es un pato.

10. Justificar cada uno de los pasos de las siguientes deducciones de equivalencias lógicas
utilizando las Leyes de Equivalencia.

a) (p ∧ ¬ q) ∨ (p ∧ q) ≡ p ∧ (¬ q ∨ q)
p ∧ (q ∨ ¬ q)
p∧>
p
Por tanto, (p ∧ ¬ q) ∨ (p ∧ q) ≡ p
b) (p ∨ ¬ q) ∧ (¬ p ∨ ¬ q) ≡ (¬ q ∨ p) ∧ (¬ q ∨ ¬ p)
¬ q ∨ (p ∧ ¬ p)
¬ q∨⊥
¬q
Por tanto, (p ∨ ¬ q) ∧ (¬ p ∨ ¬ q) ≡ ¬ q

11. Utilizar las leyes de equivalencia para comprobar las equivalencias planteadas en los si-
guientes puntos:

a) (p ∧ ¬ q) ∨ p ≡ p
b) p ∧ (¬ q ∨ p) ≡ p
c) ¬ (p ∨ ¬ q) ∨ (¬ p ∧ ¬ q) ≡ ¬ p
d ) ¬ ((p ∧ ¬ q) ∨ (¬ p ∧ ¬ q)) ∨ (p ∧ q) ≡ ¬ p
e) (p ∧ (¬ (¬ o ∨ q))) ∨ (p ∧ q) ≡ p

3
12. Utilizar las leyes de equivalencia para comprobar las equivalencias planteadas en el punto
3 de esta sección.

13. Expresar simbólicamente los siguientes enunciados, negarlos, y expresar dichas negaciones
de manera coloquial.

a) Si C es un caballo, entonces C es un animal.

b) Si hoy es Nochebuena, entonces mañana es Navidad.
c) Si la expansión decimal de r es finita, entonces r es racional.
d ) Si n es primo, entonces n es impar o n es 2.
e) Si x es no negativo, entonces x es positivo o x es 0.
f ) Si Carlos es el padre de Ricardo, entonces José es su tı́o y Marı́a es su tı́a.
g) Si n es divisible entre 6, entonces n es divisible entre 2 y entre 3.

14. Proceda de la misma forma que el ejercicio anterior, hallando por cada uno de los enun-
ciados el contrarecı́proco, el recı́proco y el contrario.

15. Usar la doble implicación ↔ para convertir cada una de las siguientes equivalencias lógicas
en una tautologı́a, y luego comprobarlo mediante tablas de verdad.

a) p → (q ∨ r) ≡ (p ∧ ¬ q) → r
b) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
c) p → (q → r) ≡ (p ∧ q) → r

16. Reescriba los siguientes enunciados como una conjunción de dos enunciados si-entonces.

a) Esta ecuación de segundo grado tiene dos raı́ces reales distintas si y sólo si su dis-
criminante es mayor que cero.
b) Este entero es par si y sólo si es igual a dos veces un número entero.

17. Reescriba los siguientes enunciados en la forma si-entonces.

a) El pago se efectuará a menos que se conceda una nueva audiencia.

b) Ana irá a menos que llueva
c) Esta puerta no se abrirá a menos que se introduzca la contraseña correcta.
d ) Tomar el colectivo a las 8 de la mañana es condición suficiente para llegar al trabajo
a tiempo.
e) Tener dos ángulos de 45◦ C es condición suficiente para que el triángulo sea rectángu-
lo.
f ) Ser divisible por 3 es condición necesaria para que este número sea divisible por 9.
g) Hacer los ejercicios de esta guı́a es condición necesaria para aprobar Matemáticas
Discretas.

18. “Si el compuesto X está hirviendo, entonces, su temperatura debe ser de al menos 150◦ C”.
Suponiendo que este enunciado es verdadero, ¿cuál de los siguientes enunciados también
debe ser verdadero?

a) Si la temperatura del compuesto X es de al menos 150◦ C, el compuesto X está

hirviendo.

4
 b) Si la temperatura del compuesto X es menor a 150◦ C, entonces el compuesto no está
hirviendo.
c) El compuesto X hierve sólo si su temperatura es de al menos 150◦ C.
d ) Si el compuesto X no está hirviendo, entonces su temperatura es inferior a 150◦ C.
e) Una condición necesaria para que el compuesto X hierva, es que su temperatura sea
por lo menos de 150◦ C.
f ) Una condición suficiente para que el compuesto X hierva, es que su temperatura sea
de por lo menos 150◦ C.

19. Usar las equivalencias lógicas p → q ≡ ¬ p ∨ q y p ↔ q ≡ (¬ p ∨ q) ∧ (¬ q ∨ p) para

reescribir las siguientes formas de enunciado sin utilizar los sı́mbolos → y ↔. Luego utilice
la equivalencia (p ∨ q) ≡ (¬ p ∧ ¬ q) para reescribir las formas resultantes sólo utilizando
los sı́mbolos ∧ y ¬.

a) p ∧ q → r c) (p → r) ↔ (q → r)
b) p ∨ ¬ q → r ∨ q d ) (p → (q → r)) ↔ (p ∧ q)