Universidad Estatal de Milagro

Facultad de Ciencias e Ingeniería

Carrera

Ingeniería de Software
Asignatura

Matemáticas Discretas
Estudiante

Kadir Gabriel Barquet Bravo

Docente

Ing. Javier Bermeo Paucar

A2 – 3S
2022 – 2023
 Tarea # 1
Proposiciones y conectivos:
1. Transformar las siguientes proposiciones a fórmulas
lógicas.
a. Yo quiero ir a la playa y a las piscinas.
p∧q
b. Johnny si estudia programación y o aprueba la materia o la
reprueba.
p → (q v r)
c. Los jugadores se fueron de viaje a Quito o a Esmeraldas.
pvq
d. Voy a visitar a mis padres, aunque no les avise.
p ∧ ~q
e. Alexandra no se va a la fiesta y duerme toda la noche, o
viendo películas.
(~p ∧ q) v r
f. Si estudió para el examen, entonces sacaré excelente
calificación y mis padres me felicitaran.
p → (q ∧ r)
g. Juan irá a París si y solo si trabaja todo el año.
p → ~p
h. Si Carlos falta mucho a las clases de matemática, entonces
perderá la materia.
p→q
i. Si mis padres se enteran de que mentí, entonces no me
dejaran ir a la fiesta ni al viaje de fin de curso.
p → ~q
j. Tanto si vamos en carro o en moto, llegaremos a tiempo a
la UNEMI y el profesor no me pondrá atraso.
(p v q) → (r ∧ s)
2. Realizar la tabla de verdad de cada fórmula lógica
planteada e indique si es una tautología, contradicción o
contingencia.
a. (p → q) v (q → p) → Es Tautología

p q (p → q) (q → p) (p → q) v (q → p)
V V V V V
V F F V V
F V V F V
F F V V V

b. p ↔ (q ∧ ~r) → Es Contingencia

p q r ~r (q ∧ ~r) p ↔ (q ∧ ~r)
V V V F F F
V V F V V V
V F V F F F
V F F V F F
F V V F F V
F V F V V F
F F V F F V
F F F V F V

c. ~(p ∧ q) → (~p v ~q) → Es Tautología

p q ~p ~q ~(p ∧ q) (~p v ~q) ~(p ∧ q) → (~p v ~q)

V V F F F F V
V F F V V F V
F V V F V V V
F F V V V V V
d. (p ∧ q) → (p v ~r) → Es Tautología

p q r ~r (p ∧ q) (p v ~r) (p ∧ q) → (p v ~r)
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V

e. ~(p → q) ↔ (q → ~p) → Es Contingencia

p q ~p ~(p → q) (q → ~p) ~(p → q) ↔ (q → ~p)

V V F F F V
V F F V V V
F V V F V F
F F V F V F

f. [(p ∧ q) v q] ∧ ~q → Es Contradicción

p q ~q (p ∧ q) [(p ∧ q) v q] [(p ∧ q) v q] ∧ ~q
V V F V V F
V F V F F F
F V F F V F
F F V F F F

g. [(~p v q) ∧ ~q] → ~p → Es Tautología

p q ~p ~q (~p v q) [(~p v q) ∧ ~q] [(~p v q) ∧ ~q]→~p

V V F F V F V
V F F V V F V
F V V F V V V
F F V V V V V
 h. [~p ∧ (q v r)] ↔ [(p v r) ∧ q] → Es Contingencia

p q r ~p (q v r) (p v r) [~p ∧ (q v r)] [(p v r) ∧ q] [~p ∧ (q v r)] ↔ [(p v r) ∧ q]

V V V F V V F V F
V V F F V V F V F
V F V F V V F F V
V F F F F V F F V
F V V V V V V V V
F V F V V F F F V
F F V V V V V F F
F F F V F F F F V

3. Indique si las siguientes fórmulas lógicas son

proposiciones lógicamente equivalentes mediante
tabla de verdad.
a. ~(p ∧ q) ≡ ~p v ~q → Es Equivalente

p q ~(p ∧ q) p q ~p ~q ~p v ~q
V V F V V F F F
V F V V F F V V
≡ F V V F V
F V V
F F V F F V V V
 b. (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) → Es Equivalente

p q r (p ∧ q) (p ∧ q) ∧ r p q r (q ∧ r) p ∧ (q ∧ r)
V V V V V V V V V V
V V F V F V V F F F
V F V F F V F V F F
V F F F F ≡ V F F F F
F V V F F F V V V F
F V F F F F V F F F
F F V F F F F V F F
F F F F F F F F F F

c. p → (r v ~q) ≡ (q → ~p) v (~r → ~p) → Es Equivalente

pqr ~q (r v ~q) p → (r v ~q)

V V V F V V
V V F F F F
V F V V V V
V F F V V V
F V V F V V
F V F F F V
F F V V V V
F F F V V V

pqr ~p ~r (q → ~p) (~r → ~p) (q → ~p)v(~r → ~p)

V V V F F F V V
V V F F V F F F
V F V F F V V V
V F F F V V F V
F V V V F V V V
F V F V V V V V
F F V V F V V V
F F F V V V V V
Leyes del álgebra de proposiciones
4. Usando las leyes del álgebra de proposiciones, simplifique
las siguientes fórmulas lógicas hasta su mínima
expresión:
a. (p → q) → [(q ∨ p) → (p ∧ ¬q)]
(p → q) → [(q v p) → (p ∧ ~q)] = LEY CONDICIONAL
~ (~p v q) v [~(q v p) v (p ∧ ~q)] = LEY DE MORGAN
(p ∧ ~q) v [(~q ∧ ~p) v (~q ∧ p) = LEY DISTRIBUTIVA
(p ∧ ~q) v ~q ∧ (~p v p) = LEY DE COMPLEMENTO
(p ∧ ~q) v ~F = LEY DE IDENTIDAD
(p ∧ ~q) v ~q ~q = LEY DE ABSORCION

b. (p → q) ∧ (p ⟷ q)
(p → q) ∧ (p ⟷ q) = LEY BICONDICIONAL
(p → q) ∧ (p → q) ∧ (~p v q) ∧ (~p v q) = LEY CONDICIONAL
p → q ∧ (~p v ~q) = LEY CONDICIONAL Y DE MORGAN
p v (q ∧ (~p v ~q)) = LEY DISTRIBUTIVA
p v (q v ~p) ∧ (q v ~q) = LEY DE ABSORCION
(p v q) v (~p ∧ ~q) v ~(p v q) = LEY MORGAN

c. [(p → q) ∧ (¬p → q)] → ¬(p ∨ ¬q)

[(p → q) ∧ (~p → q)] → ~(p v ~q) = LEY CONDICIONAL Y
INVOLUCION
[(~p v q) ∧ (p v q)] → (~p v q) = LEY CONDICIONAL
~ [(~p v q) v (~p v q) v (~p ∧ q)] = LEY INVOLUCION
[(p ∧ ~q) v (~p ∧ ~q)] v (~p v q) = LEY DE MORGAN
(~q ∧ (~p v p)) v (~p ∧ q) = LEY DE COMPLEMENTO
(~q ∧ (~p ∧ q) v ~q v (~p ∧ q) = LEY DE IDENTIDAD

d. [p ∨ (p ∧ r)] → [(p → r) ∧ ¬r]

[ p v (p ∧ r)] → [(p → r) ∧ ~r] = LEY CONDICIONAL Y DE
ABSORCION
p → [(~p v r) ∧ ~r] = LEY DISTRIBUTIVA
p → [(~p ∧ r) v (v ∧ ~r)] = LEY CONDICIONAL
[~p v (~p ∧ r)] v (r ∧ ~r)] = LEY OBSORCION Y
COMPLEMEMTO
~p v (F) ~p = LEY IDENTIDAD
 e. {[q ∨ (¬q ∧ r)] ∨ [p → (p ∨ r)]} → p
{[q v (~q ∧ r)] v [p → (p v r)]} → p = LEY CONDICIONAL
{[(q v ~q) v (q v r)] v [~p v r)]} → p = LEY COMPLEMENTO
~{[(v)] v (q v r)] v [~p v ~r)]} v p = LEY IDENTIDAD Y
NEGACION
{(~q ∧ ~r) ∧ (p v ~r)} v p = LEY DE MORGAN OBSORCION
p v {~q ∧ ~r ∧ p} v p = LEY DE OBSORCION

Implicación tautológica
5. Compruebe mediante tablas de verdad si las siguientes
fórmulas lógicas son implicaciones tautológicas:

a. (p ∧ q) ⇒ ¬(¬p → q) → No es Tautológico

p q ¬p (p ∧ q) ¬ (¬p → q) (p ∧ q) → ¬ (¬p → q)
V V F V F F
V F F F F F
F V V F F F
F F V F V V

b. p ⇒ (p ∨ q) → Es Tautológico

p q (p v q) p → (p v q)
V V V V
V F V V
F V V V
F F F V

c. (p ∨ q) ⇒ (¬p → q) → Es Tautológico

p q ¬p (p v q) (¬p → q) (p ∨ q) ⇒ (¬p → q)
V V F V V V
V F F V V V
F V V V V V
F F V F F V
 d. [(p → r) ∧ (q → r)] ⇒ [(p ∧ q) → r] → Es Tautológico

p q r (p → r) (q → r) (p ∧ q) [(p → r) ∧ (q → r)] [(p ∧ q) → r] [(p → r) ∧ (q → r)]

→ [(p ∧ q) → r]
V V V V V V V V V
V V F F V V F F V
V F V V F F V V V
V F F F F F F V V
F V V V F F V V V
F V F V F F F V V
F F V V F F V V V
F F F V F F V V V

e. [(p → q) ∧ (p → r)] ⇒ [p → (q ∧ r)] → Es Tautológico

p q r (p →q) (p → r) (q ∧ r) [(p → q) ∧ (p → r)] [p → (q ∧ r)] [(p → q) ∧ (p → r)]

→ [p → (q ∧ r)]
V V V V V V V V V
V V F V F F F F V
V F V F V F F F V
V F F F F F F F V
F V V V V V V V V
F V F V V F V V V
F F V V V V V V V
F F F V V F V V V