Tarea Semana 2

“Año del Fortalecimiento de la Soberanía Nacional”
UNT
UNIVERSIDAD
NACIONAL DE
TRUJILLO
FACULTAD DE CIENCIAS BIOLOGICAS
ESCUELA PROFESIONAL DE BIOLOGIA PESQUERA
TEMA: EQUIVALENCIAS LÓGICAS
DOCENTE:
 VARGAS VERA LUIS FERNANDO
CURSO:
 DESARROLLO DEL PENSAMIENTO LÓGICO
MATEMÁTICO
INTEGRANTES:
 MONTOYA MOSQUEIRA VICTOR OCTAVIO

 LLANOS CORTEZ MIGUEL ANGEL
 BALTAZAR AGUILAR SAMIRA YAJAIRA
 LEÓN ASCATE EDUARSO YAIR SEBASTIAN
 HOYOS CRUZ EMERSON
 VARGAS ESPINOLA EDGAR ARTURO
 POMA SAMAN LUIS DAVID
CICLO I
Trujillo - 2022
Demostrar que los siguientes bicondicionales son equivalencias lógicas:
1) (p →p) ↔(~q→~p)
p q (p →p) ↔ (~q→~p)
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
Es Tautológico por lo tanto ambos son equivalentes lógicos
2) (p ↔p) ↔(~q↔~p)
p q (p ↔p) ↔ (~q↔~p)
V V V V F V F
V F F V V F F
F V F V F F V
F F V V V V V
Este también Tautológico por lo tanto ambos son equivalentes lógicos
3) [𝑝 → (𝑞 → 𝑟)] ↔ [𝑞 → (𝑝 → 𝑟)]
p q r [p→(q→r)] ↔ [q→(p→r)]
V V V V V V
V F F V F F
F V F F V V
F F F V F V
Son equivalencias lógicas

4) [(𝑝 ∧ 𝑞 ) → 𝑟] ↔ [𝑝 → (𝑞 → 𝑟)]
p q r (q→r) p→(q→r) (p∧q)→r
p q r (p∧q) (p∧q)→r v v v v v v v v
v v v v v v v v v f f v f f f
v v f v v f f v f v v v v v v
v f v f f v v v f f v v v v v
v f f f f v f f v v v f v v v
f v v f f v v f v f f f v f v
f v f f f v f f f v v f v v v
f f v f f v v f f f v f v v v
f f f f f v f
Los bicondicionales son equivalentes lógicas iguales.
5) 𝑝 → 𝑞 ↔ [(𝑝 ∨ 𝑞 ) ↔ 𝑞 ]
p → q ↔ p ∨ q ↔ q
V V V V V V V V V
V F F V V V F F F
F V V F F V V F V
F V F V F F F V F
 Los valores de mismo color se operan entre ellos teniendo en cuenta su respectivo operador
del mismo color.
 La valoración final en la de color celeste siendo: VVFV este el valor formal de 𝑝 → 𝑞
6) 𝑝 → 𝑞 ↔ [(𝑝 ∧ 𝑞 ) ↔ 𝑝]
 𝑝 → 𝑞 ↔ [𝑝 ↔ (𝑝 ∧ 𝑞)] Conmutación
 𝑝→𝑞 ↔𝑝→𝑞 Expansión
 𝑝→𝑞 ≡𝑝→𝑞
Es una equivalencia lógica

7) [𝑝 → (𝑞 ∧ 𝑟)] ↔ [(𝑝 → 𝑞) ∧ (𝑝 → 𝑟)]
o [𝑝 → (𝑞 ∧ 𝑟)] ≡ [(−𝑝 ∨ 𝑞 ) ∧ (−𝑝 ∨ 𝑟)] Contraposición

o [𝑝 → (𝑞 ∧ 𝑟)] ≡ [−𝑝 ∨ (𝑞 ∧ 𝑟)] Distribución
o [𝑝 → (𝑞 ∧ 𝑟)] ≡ [𝑝 → (𝑞 ∧ 𝑟)] Contraposición
Se puede observar que las proposiciones

Son equivalentes
8) [𝑝 → (𝑞 ∨ 𝑟)] ↔ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]
o [𝑝 ↔ (𝑞 ∨ 𝑟)] ↔ [𝑝 → (𝑝 ∨ 𝑟)]
Son equivalencias lógicas
Demostrar que las proposiciones son lógicamente equivalentes:
1) (𝑝 → 𝑞 ) ≡ 𝑝 ∧ ~𝑞 → 𝐹
(p q) ≡ p ⋀ ~q F
V V V V F F V F
V F F V V V F F
F V V F F F V F
F V F F F V V F
SON LOGICAMENTE EQUIVALENTES
2) (𝑝 → 𝑞 ) ≡ [(𝑝 ∨ 𝑞 ) ↔ 𝑞 ]
p q (p→ q) p q (p v q) (p v q) ←→ q p→q
v v v
v v v v v v v
v f f
v f v v f f F
f v v
f v v v v V v
f f v
f f f f v F v
Son lógicamente equivalentes las proposiciones, son iguales

3) (𝑝 ↔ 𝑞) ≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞 )
p q (p ^ q) ~p ~q (~p) ^ (~q) (p ^ q) v (~p ^ ~q)

p q (𝒑 ↔ 𝒒)
F F F V v v V
F F V
F V F v F F F
F V F
V F F F V F F
V F F
V V V F F F V
V V V
Las proposiciones son equivalentes
4) (𝑝∆𝑞) ≡ (𝑝 ∧ ~𝑞) ∨ (𝑞 ∧ ~𝑝)
(p q) ≡ (p ⋀ ~ q) v (q ⋀ ~p
V F V V F F F V F F
V V F V V V V F F F
F V V F F F V V V V
F F F F F V F F F V
SON LOGICAMENTE EQUIVALENTES
5) (𝑝∆𝑞) ≡ (𝑝 ∨ 𝑞) ∧ ~(𝑝 ∧ 𝑞 ) ≡ ~(𝑝 ↔ 𝑞)
p q (p∆q) p q (p∨q) (p∧q) (p∨q)∧~(p∧q)

V V V V V
V V V V F V F F
V F F F V V F V
F V V F F F V F
F F F
p q (p↔q) ~(p↔q)
V V V V
V F F F
V V V V
V F F F
Son equivalentemente lógicas

a) Nivel de cumplimiento del objetivo propuesto.
La tarea dejada se realizó usando dos métodos la tabla de verdad y las equivalencias lógicas el
trabajo se repartió entre todos los integrantes y se realizó con éxito.
b) Limitaciones, profundidad y dificultades del trabajo.
Una limitación fue que no se podía resolver los ejercicios de manera grupal de madera asíncrona
por lo que se nos hizo difícil la comunicación Al momento de apoyarnos a resolver los problemas
c) Nivel de aprendizaje obtenido por cada alumno.
Cada integrante del grupo desarrollo los ejercicios de la manera de su preferencia siguiendo las
estructuras de validez de proposiciones.
d) Sugerencias y críticas a la metodología de trabajo empleado por el docente.
Considero Qué es la estrategia de aula invertida usada por el docente Es favorable para el
estudiante ya que le permite desarrollarse en clase y realizar preguntas para lograr su
conocimiento atención al tema.

Tarea Semana 2

Cargado por

Copyright:

Formatos disponibles

Tarea Semana 2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea Semana 2

Cargado por

Copyright:

Formatos disponibles

“Año del Fortalecimiento de la Soberanía Nacional”

ESCUELA PROFESIONAL DE BIOLOGIA PESQUERA

TEMA: EQUIVALENCIAS LÓGICAS

 MONTOYA MOSQUEIRA VICTOR OCTAVIO

Es Tautológico por lo tanto ambos son equivalentes lógicos

Este también Tautológico por lo tanto ambos son equivalentes lógicos

Son equivalencias lógicas

Los bicondicionales son equivalentes lógicas iguales.

Es una equivalencia lógica

o [𝑝 → (𝑞 ∧ 𝑟)] ≡ [(−𝑝 ∨ 𝑞 ) ∧ (−𝑝 ∨ 𝑟)] Contraposición

Se puede observar que las proposiciones

8) [𝑝 → (𝑞 ∨ 𝑟)] ↔ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]

Demostrar que las proposiciones son lógicamente equivalentes:

SON LOGICAMENTE EQUIVALENTES

Son lógicamente equivalentes las proposiciones, son iguales

p q (p ^ q) ~p ~q (~p) ^ (~q) (p ^ q) v (~p ^ ~q)

Las proposiciones son equivalentes

4) (𝑝∆𝑞) ≡ (𝑝 ∧ ~𝑞) ∨ (𝑞 ∧ ~𝑝)

SON LOGICAMENTE EQUIVALENTES

5) (𝑝∆𝑞) ≡ (𝑝 ∨ 𝑞) ∧ ~(𝑝 ∧ 𝑞 ) ≡ ~(𝑝 ↔ 𝑞)

p q (p∆q) p q (p∨q) (p∧q) (p∨q)∧~(p∧q)

Son equivalentemente lógicas

También podría gustarte