UPAO

UNIVERSIDAD PRIVADA ANTENOR ORREGO

Docente:
Dr. Luis Peláez Corzo
 LÓGICA

SESION 12:
Equivalencias
lógicas

https://issuu.com/sucettgarcia/docs/revista_digital_de_l_gica_matem_tic
SABERES PREVIOS

¿A partir de qué
¿Qué es una procedimientos lógicos
equivalencia es posible establecer
lógica? una equivalencia
lógica?

¿A qué se ¿Qué relación

denomina ley de existe entre
equivalencia equivalencia e
lógica? inferencia?
 RESULTADO DE
APRENDIZAJE

Aplica con corrección las reglas lógicas para

establecer equivalencias lógicas.
 ¿Porqué estas proposiciones son
equivalentes?
La matemática no es ciencia
Incierto es que, la matemática
así como la lógica sean ciencias fáctica salvo que la lógica
fácticas. tampoco lo sea.

- (p Λ q) -p   q
V
V
V
v
DEFINICIÓN DE EQUIVALENCIA LÓGICA

La equivalencia lógica es una relación que existe entre dos

proposiciones, de tal forma que al formalizarlas y al someterlas
a un desarrollo matricial, resultan ser V y F en los mismos casos,
es decir tienen matrices finales idénticas. Por lo tanto al unirlas
biimplicativamente, el resultado es una tautología. (Córdova
2016)

p q -p v q
EQUIVALENCIA

Toda Equivalencia Lógica

es una fórmula
bicondicional Tautológica y
toda fórmula bicondicional
Tautológica representa a
una Equivalencia Lógica.
 EQUIVALENCIAS VS. INFERENCIAS

EQUIVALENCIA
LÓGICA
INFERENCIA

Actividad mental que consiste en

utilizar las premisas del Estructura argumentativa formada de
razonamiento para extraer una premisas y conclusión: mediato-
conclusión. inmediato, válido- inválido.
Inferencias Inferencias
MEDIANTE por definición
REGLAS o inferencias
inmediatas.

INFERENCIA EQUIVALENCIA
LÓGICA
A B A B
B -B  -A
A
 PROPIEDADES:

- Reflexiva: Toda fórmula es equivalente

así misma. (A = A)
- Simétrica: Si “A” equivale a “B”, entonces
“B” equivale a “A” (A=B) (B=A)
- Transitiva: Si “A” equivale a “B” y “B”
equivale a “C”, entonces “A” equivale a “C”
(A=B) x (B=C) (A=C)
- Todas las fórmulas Tautológicas son
equivalentes entre sí.
- Todas las fórmulas contradictorias son
equivalentes entre sí
EQUIVALENCIA MEDIANTE TABLA DE VERDAD

- (-P V q) P Λ -q
F F V V V V F F
V F F F V V V V
F V V V V
F F F
F V V F F F V
v
LEYES DE EQUIVALENCIA NOTABLES

Doble negador

Asociación Contraposición

Conmutación Ley de Morgan

LEYES DE EQUIVALENCIA NOTABLES

Absorción

Distribució
Exportación
n

Mutación
 EQUIVALENCIAS BÁSICAS

DOBLE NEGACIÓN. Consiste en agregar o

quitar simultáneamente pares de negaciones,
las cuales deben afectar a la misma variable o
a la misma fórmula.
Ejemplos:
a. - -A = A c. - -(A x B) = A x B
b. - - -A = -A d. - - -(A x B) = -(A x B)
 DOBLE NEGACIÓN
“Es falso que los profesionales “Los profesionales egresados
egresados de UPAO no
de UPAO encuentran trabajo.”
encuentren trabajo.” 
- -p p

V
 CONMUTACIÓN

Consiste en intercambiar la posición de las

variables manteniendo su signo.
Conectores: (x, +, =, v, /, )
Ejemplos:
a. A x B = B x A b. A + B = B + A
c. A v B = B v A d. A = B = B = A
e. A / B = B / A f. A B = B A
g. -A = B = B = -A h. (A x B) + C = C + (A x B)
 CONMUTACIÓN
“Luis enseña Lógica en la UPAO
pero jamás enseñó Matemática”

p Λ -q -q Λ p
F V F

V V V

F V F

v F
F
Λ, ,  , ↔, , /
 CONTRAPOSICIÓN

Consiste en intercambiar la posición y los

signos. Operadores(→ , ↔ , v )
Ejemplos:
a. A B = -B -A b. -A B = -B A
c. A v B = -B v -A d. A B = -B -A
 CONTRAPOSICIÓN
“Si los índices de corrupción se
incrementan en el país por lo tanto
habrá mayor pobreza”. 
pq -q - p
V V V

F V F

V V V

V v V
←, , ↔, 
 LEY DE MORGAN

consiste en intercambiar las negaciones de una fórmula conjuntiva o

disyuntiva. ( x, +, , /, )
Ejemplos:
a. -(A x B) = -A + -B -(A + B) = -A x -B -(A / B) = -A -B
b. -(-A x -B) = A + B -(-A + -B) = A x B -(-A / -B) = A B
c. - (A x -B) = -A +B - (A + -B) = -A x B - (A -B) = -A / B
d. - (-A x B) = A + -B - (-A + B) = A x -B - (-A B) = A / -B
 LEY DE MORGAN
“Es falso que, Piura sea una región
amazónica y Tacna una región
norteña” 
F (p Λ q)  pF  q
V
V V
V
V V V

V v V

Λ, 
 ASOCIACIÓN

Consiste en cambiar la posición de los

signos de agrupación: x, + , = , v
Ejemplos:
a. (A x B) . C = A x (B . C)

b. -A + (B v C) = (-A + B) v C
 LEY DE ASOCIACIÓN
“La lógica es una ciencia
demostrable, sin embargo es
exacta y precisa” 
p Λ (q Λ r) (p Λ q) Λ r
V
V
V
v
Λ, ,  , ↔,
 DEFINICIÓN DEL CONDICIONAL

El operador condicional, cambia por el

disyuntor incluyente; pero alterando el
signo del antecedente mientras que el
consecuente se mantiene igual.
Conectores: ( , v )
Ejemplos: A B = -A + B
A v B = -A B
 NEGACIÓN DEL CONDICIONAL

Elimina el negador externo; de tal manera que

la primera variable se mantiene intacta, el
negador externo solo afecta al condicional
(transformándolo en un conjuntor) y al
consecuente cambiándole de signo, solo
trabaja con una fórmula condicional negada.
Ejemplos: -(A B) = A x -B
A x B = -(A -B)
 LEY DE DISTRIBUCIÓN
Hardy es médico. A menos que
abogado incluso administrador”

p v (q Λ r) (p v q) Λ ( p v r)

V
V
V Λ ,  Λ,  ,  Λ
v
 LEY DE MUTACIÓN
“Dado que la combinación de colores influye
en el comportamiento es obvio que, si los
niños pasan muchas horas mirando televisión
entonces tendrán un comportamiento autista

p  (q  r) q  (p  r)
V
V
V
“Si río, entonces estoy alegre por
v Dos Implicaciones
tanto me divierto.“
encadenadas
 LEY DE EXPORTACIÓN
“Si Elías es comerciante y
productor de cacao, entonces
tiene dinero”. 
[(p Λ q)  r] [p  (q  r)]
V
V
“Si es ovípara y vuela, V
entonces es ave” v
 ABSORCIÓN

Cuando la variable se repite exactamente, se tiene

como equivalencia dicha variable.
Ejemplos:
a. A x (A + B) = A b. A + (A x B) = A
c. -A x (-A + B) = -A d. A + (A x -B) = A
e. -A x (A + B) = -A x B f. A + (-A x B) = A + B
g. A + (-A x -B) = A + -B
 LEY DE ABSORCIÓN
“Husserl escribió la obra investigaciones
filosóficas; aunque Husserl escribió la obra
investigaciones filosóficas salvo que luchó
contra el psicologismo ” 
pΛ(pq) p
V
pv(pΛ q) V p
V
v Simultaneidad
( Λ), (Λ  )
 LEY DE ABSORCIÓN
p Λ ( -p v q )
pΛ q) p v ( -p Λ q )
pv q)
-p Λ ( p v q ) -p Λ q )

Simultaneidad
( Λ), (Λ  )
 IDENTIDAD

Consiste en relacionar una variable con una

tautología (1) o con una contradicción (0).
Ejemplos:
a. A x 1 = A b. A x 0 = 0
c. A + 1 = 1 c. A + 0 = A
IDENPOTENCIA

Una variable que se repite

varias veces, equivale sólo
a una vez la variable: (x , +)

Ejemplos:
a. A x A = A
b. A x A x A x…..x A = A
c. A + A = A
COMPLEMENTO

Consiste en relacionar una

proposición con su
conjugada: (x, +)
Ejemplos:
a. A x -A = 0
b. A + -A = 1
EJERCICIOS APLICATIVOS
 APLICAMOS LEYES DE EQUIVALENCIA
LEYES DE
FORMULA BASE EQUIVALENCIA
EQUIVALENCIA

Doble negador   - -(-p)  

- - (p)

Contraposición  p - q  

-p=q
 - p -q
 
 APLICAMOS LEYES DE EQUIVALENCIA
LEYES DE
FORMULA BASE EQUIVALENCIA
EQUIVALENCIA

  - pv-q  
Ley de Morgan
p&-q

 
 p xq
Conmutación p v -q
  
Referencias Bibliográficas
• Bonilla, L. (2018). Apuntes de lógica. Trujillo.
• Córdova R. (2016). Lógica. Trujillo
• Córdova, J. (1994). Lógica: teoría del pensamiento. Universidad
Nacional de Trujillo.
• Dominguez, P. (2010). Lógica. Madrid. BAC.
• Gamboa, J. y Oriol, M. (2008). Lógica Aristotélica. Madrid. Dikinson.
• García, O. (2007). Lógica. Lima. UNMSM.
• Garrido, M. (2005). Lógica Simbólica. Madrid. Techos.
• Lázaro C. (2013): Lógica y razonamiento lógico.