CARRERA

TECNOLOGIAS DE LA INFORMACION EN LINEA

NIVEL

2do NIVEL

ASIGNATURA

MATEMATICAS DISCRETAS

INTEGRANTES

1. Chóez Pincay Wilter Guillermo

2. Jiron Rosillo Ronald David

3. Pilamunga Benavides Heber Luis

TEMA

TAREA 1

LOGICA MATEMATICA

DOCENTE

Ing. Luis Castillo Heredia

FECHA DE ENTREGA

27/Julio/2021
OBJETIVO DE LA TAREA.

Comprender en base a la práctica el uso de los conectores lógicos en las

proposiciones, y la aplicabilidad del algebra de proposiciones, además comprender si
una proposición implica con otra.

DESARROLLO

Proposiciones y conectivos:

1. Transformar las siguientes proposiciones a fórmulas lógicas.

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

Proposiciones simples:

p: quiero ir a la playa
q: quiero ir a las piscinas

Formula lógica: p Λ q

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

Proposiciones simples:

p: Jhonny si estudia programación

q: Jhonny aprueba la materia

Formula lógica: p Λ (q V ¬q)

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

Proposiciones simples:

p: Los jugadores se fueron de viaje a Quito

q: Los jugadores se fueron de viaje a Esmeraldas

Formula lógica: p V q
d. Voy a visitar a mis padres, aunque no les avise.

Proposiciones simples:

p: Voy a visitar a mis padres

q: Les avise a mis padres

Formula lógica: p Λ ¬q

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

Proposiciones simples:

p: Alexandra se va a la fiesta
q: Alexandra duerme toda la noche
r: viendo película

Formula lógica: ¬p Λ (q V r)

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

me felicitaran.

Proposiciones simples:

p: estudió para el examen

q: sacaré excelente calificación
r: mis padres me felicitaran

Formula lógica: p → (q Λ r)

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

Proposiciones simples:

p: Juan irá a París

q: Juan trabaja todo el año

Formula lógica: p → q
h. Si Carlos falta mucho a las clases de matemática, entonces perderá la materia.

Proposiciones simples:

p: Carlos falta mucho a las clases de matemática

q: Carlos perderá la materia

Formula lógica: 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.

Proposiciones simples:

p: mis padres se enteran de que mentí

q: me dejaran ir a la fiesta
r: me dejaran ir al viaje de fin de curso

Formula lógica: p → (¬q Λ ¬r)

j. Tanto si vamos en carro o en moto, llegaremos a tiempo a la UNEMI y el profesor

no me pondrá atraso.

Proposiciones simples:

p: vamos en carro
q: vamos en moto
r: llegaremos a tiempo a la UNEMI
s: el profesor me pondrá atraso

Formula lógica: (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)

p q p →q (p →q) V (q→p) q→p

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

La fórmula lógica es una TAUTOLOGIA

b. p  (q  r)

p q r ¬r p ↔(q Λ ¬r) 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 V F
F V F V F V
F F V F V F
F F F V V F

La fórmula lógica es una CONTINGENCIA

c. (p  q)  (p  q)

p q ¬p ¬q pΛq ¬(p Λ q) ¬(p Λ q)→(¬p v ¬q) ¬p v ¬q

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

La fórmula lógica es una TAUTOLOGIA

d. (p  q)  ( p  r)
 p q r ¬r pΛq (p Λ q)→(p v ¬r) 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 V F
F V F V F V V
F F V F F V F
F F F V F V V

La fórmula lógica es una TAUTOLOGIA

e. (p  q)  (q  p)

p q ¬p p →q ¬(p →q) ¬(p →q)→(q→¬p) q → ¬p

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

La fórmula lógica es una TAUTOLOGIA

f. [(p  q)  q]  q

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

La fórmula lógica es una CONTRADICCION

 g. [(p  q)  q]  p

p q ¬p ¬q ¬p V q (¬p V q)Λq ((¬p V q)Λq)→¬P

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

La fórmula lógica es una CONTINGENCIA

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

p q r ¬p qVr ¬p Λ (q V r) (p Λ q)→(p v ¬r) pvr (p v r) Λ q

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

La fórmula lógica es una CONTINGENCIA

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

equivalentes mediante tabla de verdad.

a. (p  q) ≡ p  q

p q ¬p ¬q p Λ q ¬(p Λ q ≡ ¬p V ¬q
V V F F V F V F
V F F V F V V V
F V V F F V V V
F F V V F V V V

Si son proposiciones lógicamente equivalentes

 b. (p Λ q) Λ r ≡ p Λ (q Λ r)

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

Si son proposiciones lógicamente equivalentes

c. . p( r  q) ≡ (q  p)  (r  p)

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

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

Si son proposiciones lógicamente equivalentes

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
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LINEA

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

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

No es TAUTOLOGIA

b) p ⇒ (p ∨ q)

p q pVq p →(p V q)
V V V V
V F V V
F V V V
F F F V

Si es TAUTOLOGIA

c) (p ∨ q) ⇒ (¬p → q)

p q ¬p pVq (¬p → q) (p V q)→¬(¬p → q)

V V F V V V
V F F V V V
F V V V V V
Universidad Estatal de Milagro – UNEMI

F F V F F V

Si es TAUTOLOGIA
 UNIVERSIDAD ESTATAL DE MILAGRO
CARRERAS EN LINEA

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

p q r p→r q→r (p → r) Λ (q → r)
V V V V V V
V V F F F F
V F V V V V
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V

pΛq (p Λ q) → r ((p → r) Λ (q → r)) → ((p Λ q) → r)

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

Si es TAUTOLOGIA

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

p q r p→q p→r (p → q) Λ (p → r)
V V V V V V
V V F V F F
V F V F V F
V F F F F F
F V V V V V
F V F V V V
F F V V V V
F F F V V V
Universidad Estatal de Milagro – UNEMI

qΛr p → (q Λ r) ((p → q) Λ (p → r)) → (p → (q Λ r))

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

Si es TAUTOLOGIA