UNIVERSIDAD ESTATAL DE MILAGRO

CARRERAS EN LÍNEA

FORMATO PARA RECURSO DE APRENDIZAJE TAREA

INFORMACIÓN PARA EL ESTUDIANTE

Proposiciones y conectivos lógicos Algebra

TEMA No 1 y 2
de proposiciones
MORA VERA ADRIANA MARCELA
NOMBRE:

Nombre de la tarea:
Desarrollo Trabajo Individual

Comprender en base a la práctica el uso de los

conectores lógicos en las proposiciones, y la
Objetivo de la tarea aplicabilidad del algebra de proposiciones, además
comprender si una proposición implica con otra.

Fechas Inicio Desde

Cierre Hasta

Instrucciones:

• Consultar los materiales de la plataforma (documento base de lectura, sobre

el tema “Proposiciones y conectivos lógicos”).
• En la plantilla para elaborar las tareas, resuelva los dos ítems de ejercicios
planteados.
• En el primer ítem escriba la formula lógica correspondiente a cada
proposición planteada.
• 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.
• Una vez finalizada la tarea, revisa que cumpla todos los parámetros
establecidos. • Entrega el documento en formato PDF por medio del espacio de tareas
en la plataforma en el tiempo establecido.
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

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= yo quiero ir a la playa
Q= yo quiero ir a las piscinas
𝒑𝜦𝒒
b. Johnny 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

𝒑𝜦(𝒒 𝑽 𝒓)
c. Los jugadores se fueron de viaje a Quito o a Esmeraldas.
P= los jugadores se fueron de viaje a Quito
Q= los jugadores se fueron de viaje a Esmeraldas

𝒑𝜦𝒒
d. Voy a visitar a mis padres, aunque no les avise.
P=voy a visitar a mis padres
¬q= aunque no les avise
𝒑𝜦¬𝒒
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. Si estudió para el examen, entonces sacaré excelente calificación y mis
padres me felicitaran.
p=estudio para el examen
q=sacare excelente calificación
r=mis padres me felicitan
𝑷 → (𝒒 𝜦 𝒓)
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

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

p= Juan ira a parís
q= si y solo si trabaja todo el año

𝒑↔𝒒
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

𝒑→𝒒
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

𝒑 → ~(𝒒𝜦 𝒓)
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

(𝒑𝑽𝒒) → (𝒓𝜦𝒔)
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

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)
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

R= Tautología

b. p ↔ (𝑞 𝛬~ 𝑟)
p q
V V
V V
V F
V F
F V
F V
F F
F F
r ~𝒓 (𝒒 𝜦~ 𝒓) p ↔ (𝒒 𝜦~ 𝒓)
V F F F
F V V V
V F F F
F V F F
V F F V
F V V F
V F F V
F V F V

R= Contingencia

c. ~(p 𝛬 q) → (~ p V ~ p)
p q (p 𝜦 q) ~(p 𝜦 q) ~p ~p (~ p V ~ p) ~(𝒑 𝜦 𝒒) →(~ p V ~ p)
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

R= Tautología
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

d. (p 𝛬 q) → ( p V ~r)
p q r (p 𝜦 q) ~r ( p V ~r) (p 𝜦 q)→ ( p V ~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

R= Tautología

e. ~ (p → q) ↔ (q → ~p)
p q ~p (p → 𝒒) ~ (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

R= Contingencia

f. [(p 𝛬 q) V q] 𝛬~q
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

R= Contradicción
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

g. [(~p V q) V ~ q] → ~p
p q ~𝒑 ~𝒒 (~𝒑𝑽𝒒) [(~p V q) V ~ q] [(~p V q) V ~ 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

R= Tautología

h. [~p 𝛬 (q V r)] ↔ [(p V r) 𝛬 q ]

p q r ~p qVr [~p 𝜦 (q V r)] pVr [(p V r) 𝜦 q ] [~p 𝜦 (q V r)] ↔[(p V 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

R= Contingencia

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

lógicamente equivalentes mediante tabla de verdad.
a. ~ (p 𝛬 q) ~ p V ~ q
p q p𝜦q ~ (p 𝜦 q)
F F F V
F V F V
V F F V
V V V F

p q ~p ~q ~𝒑 𝑽 ~q
F F V V V
F V V F V
V F F V V
V V F F F

R= Son lógicamente equivalentes

 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

b. (p q) r p (q r)

p q r (p 𝜦 q) (p 𝜦 q) 𝜦 𝒓
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 𝜦 r) p 𝜦( q 𝜦 𝒓)
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

R= Son lógicamente equivalentes

 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

c. p→( r V~ q) (q → ~p) V (~r → ~p)

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

R= Son lógicamente equivalentes

 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

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 ¬q)]

b. (p → q) (p ⟷ q)

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

d) → [(p → r) ¬r]
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

e) → (p →p

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 ¬p (¬p → q) ¬(¬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

R= No son implicaciones tautológicas

b) P ⇒ (p V q)

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

R= Si son implicaciones Tautológicas

 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LÍNEA

c) (¬p → q)

p q ¬p (p V q) (¬p→ q) (p V 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

R= Si son implicaciones Tautológicas

d) [(p → r) (q → r)] ⇒ → r]

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

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

R= Si son implicaciones Tautológicas

E) [(p → q) (p → r)] ⇒ r)]

p q r (p → q) (p → r) [(p → q) (p → r)] (q 𝛬 r) r)] [(p → q) (p → r)] ⇒ 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

R= Si son implicaciones Tautológicas