UNIVERSIDAD ESTATAL DE MILAGRO UNEMI

FACULTAD DE CIENCIAS E INGENIERÍA FACI

CARRERA:
INGENIERÍA DE SOFTWARE
AULA:
A1-3er-NIVEL.
ASIGNATURA:
MATEMÁTICAS DISCRETAS
TUTOR
Pedro Alfredo Quinto Matamoros
TEMA:
Proposiciones y conectivos lógicos
DOCENTE:
Ing. BERMEO PAUCAR JAVIER RICARDO
FECHA DE ENTREGA: Viernes, 17 de junio de 2022, 23:59
Proposiciones y conectivos:
• En el primer ítem escriba la formula lógica correspondiente a cada proposición
planteada.
1. Transformar las siguientes proposiciones a fórmulas lógicas.

a. Yo quiero ir a la playa y a las piscinas.

p= yo quiero ir a la playa

q= yo quiero ir a las piscina

fórmula: p ^ q

b. Jhonny si estudia programación y o aprueba la materia o la reprueba.

p= Jhonny estudia programación

q= Aprueba la materia

r =Reprueba la materia

fórmula: p ^ (q v r)

c. Los jugadores se fueron de viaje a Quito o a Esmeraldas.

p = Los jugadores fueron de viaje a Quito

q = Los jugadores fueron de viaje a Esmeraldas

fórmula: p v q

d. Voy a visitar a mis padres, aunque no les avise.

p = Visitare a mis padres

q = Les aviso a mis padres

fórmula: p ^ ¬q La conjunción es equivalente a "aunque"

2
e. Alexandra no se va a la fiesta y duerme toda la noche o viendo película.

~p= Alexandra no se va a la fiesta

q= duerme toda la noche

r =viendo película

fórmula: ~p 𝜦(q V r)

f. Si estudió para el examen, entonces sacaré excelente calificación y mis padres

me felicitaran.
p= estudio para el examen
q=sacaré excelente calificación.
r= mis padres me felicitaran.
fórmula: p →(q𝜦 r )

g. Juan irá a París si y solo si trabaja todo el año.

p = Juan irá a París
q = solo si trabaja todo el año
fórmula: p<--> q

h. Si Carlos falta mucho a las clases de matemática, entonces perderá la materia.

p= Carlos falta mucho a las clases de matemática
q= perderá la materia
fórmula : 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=Si mis padres se enteran de que mentí
q= no me dejaran ir a la fiesta
r= ni al viaje de fin de curso
fórmula : p → ~(q𝜦 r)

3
 j. Tanto si vamos en carro o en moto, llegaremos a tiempo a la UNEMI y el profesor
no me pondrá atraso.
p= vamos en carro.
q= vamos en moto.
r= se llega al tiempo a la universidad.
s= el profesor no me pondrá atraso.
fórmula:(pVq) → (r𝜦s)

• En el segundo ítem realiza una tabla de verdad por cada fórmula lógica planteada, además
deberá identificar si existe una tautología, contradicción o contingencia.
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) = 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)= 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

4
c. → (p  q) = tautología
p q (p  q) (p  q) p p (p  p) (p  q) → (p  q)
v V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V v V V V

D. (p  q )→ ( p  r) = Tautología
p q r (p  q ) r ( p  r) (p  q )→ ( p  r)
V V V V F V V
V V F V V V V
V F V F F V V
V F F F V V V
F V V F F F V
F V F F V V V
F F V F F F V
F F F F v v v

e. (p → q)  (q → p) = Contingencia

p q ¬p (p → q) (p → q) (q → p) (p → q)  (q → p)

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

5
f. [(p  q)  q]  q = contradicción

p q
V V
V F
F V
F F
¬q (p  q)
F V
V F
F F
V F
[(p  q)  q] [(p  q)  q]  q
V F
F F
V F
F F

g. [(p  q)  q] → p = tautología

p q ¬p ¬q (p  q) [(p  q)  q] [(p  q)  q] → p

V V F F V F V
V F F V F F V
F V V F V F V
F F V V V v V

h. [p  (q  r)]  [(p  r)  q ] = contingencia

p q r p qr [p  (q  r)] (p  r) [(p  r)  q ] [p  (q  r)]  [(p  r)  q ]
V V V F V F V V F
V V F F V F V V F
V F V F V F V F V
V F F F F F V F V
F V V V V V V V V
F V F V V V F F F
F F V V V V V F F
F F F V F F F F V

6
2. Indique si las siguientes fórmulas lógicas son proposiciones lógicamente
equivalentes mediante tabla de verdad.

a. (p  q) p  q = Es lógicamente equivalentes

p q
F F
F V
V F
V V
p/\q (p  q)
F V
F V
F V
V F

p q ¬p ¬q p  q
F F V V V
F V V F V
V F F V V
V V F F F

b. (p/\ q) r p (q r) = es lógicamente equivalente.

p q r (p/\ q) (p/\ q) /\ r

F F F F F
F F V F F
F V F F F
F V V F F
V F F F F
V F V F F
V V F V F
v V V V V

p q r (p/\ q) (p/\ q) /\ r

F F F F F
F F V F F
F V F F F
F V V V F
V F F F F
V F V F F
V V F F F
v V V V V

7
c. p→( r  q) (q → p)  (r → p)= es lógicamente equivalente
p q r ¬q (r V ¬q) p→(r V ¬q)
F F F V V V
F F V V V V
F V F F F V
F V V F V V
V F F V V V
V F V V V V
V V F F F F
V V V F V v

p q r ¬p ¬r (q → ¬p) (¬ r → ¬p) (q→¬p)V(¬r→¬p)

F F F V V V V V
F F V V F V V V
F V F V V V V V
F V V V F V V V
V F F F V V F V
V F V F F V V V
V V F F V F F F
V V V F F F 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)]
b) (p → q) ∧ (p ⟷ q)
c) [(p → q) ∧ (¬p → q)] → ¬(p ∨ ¬q)
d) [p ∨ (p ∧ r)] → [(p → r) ∧ ¬r]
e) {[q ∨ (¬q ∧ r)] ∨ [p → (p ∨ r)]} → p

8
9
10
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 son implicaciones tautológicas.

p q ¬p (p/\q) (¬p → q) ¬(¬p → q) a) (p ∧ q) ⇒ ¬(¬p → q)
F F V F F V V
F V V F V F V
V F F F V F V
V V F V V F F

b) p ⇒ (p ∨ q) =si son implicaciones tautológicas.

p q
V V
V F
F V
F F
(p ∨ q) p ⇒ (p ∨ q)
V V
V V
V V
F V

c) (p ∨ q) ⇒ (¬p → q) = si son implicaciones tautológicas

p q ¬p (p ∨ q) (¬p → q) (p ∨ q) ⇒ (¬p → q)
F F V F F V
F V V V V V
V F F V V V
V V F V v V

11
 d) [(p → r) ∧ (q → r)] ⇒ [(p ∧ q) → r] = sin es tautológicas
p q r (p → (q → r)] [(p → r) ∧ (q → r)] (p ∧ q) (p ∧ q) → r [(p → r)∧(q → r)] ⇒[(p ∧ q)→
r) r
V V V V V V V V V
V V F F F F V F V
V F V V V V F V V
V F F F V F F V V
F V V V V V F V V
F V F V F F F V V
F F V V V V F V V
F F F V V V F V V

e) [(p → q) ∧ (p → r)] ⇒ [p → (q ∧ r)]= si son implicaciones tautológicas

p q r (p → q) (p → r) [(p → q) ∧ (p → r)] (q ∧ 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 V F V V
F F V V V V F V V
F F F V V V F V V

12
13