ASIGNATURA: LÓGICA

Carácter científico de la lógica

EQUIVALENCIAS LÓGICAS
Semana 12
Trujillo-Piura
2021

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

1
 ASIGNATURA: LÓGICA

SESIÓN 12
EQUIVALENCIAS LÓGICAS

Vamos a insertarnos en el mundo de las equivalencias lógicas, para ello

empezaremos analizando comparativamente dos ejemplos (proposiciones), a partir de los
cuales identificaremos un patrón de relación entre ambos, esto nos aproximará a una idea más
certera sobre lo que vendría a ser las “equivalencias lógicas”.

Po ejemplo:
P1: “Es falso que, Andrés y Lorena son P2: “Andrés no es un trabajador eficiente
trabajadores eficientes”. salvo que Lorena tampoco lo sea”.
 (p ∧ q)  p   q

Partimos afirmando que estas proposiciones son equivalentes y lo son porque cuando las
analizamos formalmente encontraremos que sus matrices finales son idénticas en sus valores
de veracidad (V) o falsedad (F); aunque aparentemente en el lenguaje verbal no lo sean.

p q  (p ∧ q) ↔ p   q

V V F V V F

V F V F V V

F V V F V V

F F V F V V

Relación tautológica

La definición que compartimos de equivalencia lógica la tomamos de autores como Córdova

(2016) y Piscoya (2009).

Se denomina equivalencia lógica a una relación que existe entre dos proposiciones, de tal forma
que al formalizarlas y al someterlas a un desarrollo matricial, resultan ser verdadera (V) y falsa
(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)

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

2
 ASIGNATURA: LÓGICA

Piscoya (2009), al referirse a las equivalencias lógicas considera que las proposiciones
lógicamente equivalentes o fórmulas lógicamente equivalentes se dan si una fórmula
bicondicional es verdadera en todos sus arreglos (tautología), entonces sus dos miembros son
entre sí proposiciones o fórmulas lógicamente equivalentes.

Si queremos argumentar respecto a la importancia de razonar utilizando las equivalencias

lógicas diremos que al obtener lo que se denomina una equivalencia nos permite que podamos
reemplazar una fórmula por la otra cada vez que lo consideremos necesario.
En la práctica, una equivalencia es una fórmula bicondicional tautológica que funciona como una
regla que autoriza a transformar una fórmula en otra.

Siguiendo a los autores anteriormente referido, señalaremos que a la relación tautológica

obtenida de relacionar dos fórmulas, se denomina LEY. De ahí que la obtención de una
equivalencia está determinada por la aplicación de unas fórmulas denominadas: LEYES DE
EQUIVALENCIA NOTABLES, las cuales ya han sido demostradas su tautología matricial. Esto
facilita el análisis lógico y sólo nos queda aplicarlos y así obtener la equivalencia de una
proposición.
Hay que tomar en cuenta que el hecho de que dos proposiciones sean equivalentes depende
solo de su estructura formal, en ese sentido no debemos tomar en cuenta el contenido de las
proposiciones.
Hasta aquí debe quedar claro que existen fundamentalmente dos mecanismos para obtener una
equivalencia lógica: mediante el uso de las tablas de verdad y su adecuada aplicación de las leyes
de verdad formal además empleando las leyes de equivalencia notables. Veamos cada uno de
éstos.

1. TABLAS DE VERDAD

p  q ↔  q   p

V V V

F V F

V V V

V V V

Para obtener una equivalencia lógica sólo basta construir la tabla de verdad e interpretar la
matriz principal que resulte.

Aplicar este método implica manejar las leyes de verdad formal para cada uno de los conectores
lógicos.

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

3
 ASIGNATURA: LÓGICA

LEYES DE VERDAD FORMAL:

FUNCIONES VERITATIVAS DE LOS CONECTORES LÓGICOS:

Conjuntor Disyuntor I. Implicador Replicador Bicondicional Disyuntor E.

p , q p∧q pq pq p q pq pq

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

Inalternador Incompatibilizador Negador

p , q pq p/q -q
V V F F F
V F F V V
F V F V F
F F V V V

2. LEYES DE EQUIVALENCIA NOTABLES.

LEYES DE DESCRIPCIÓN APLICACIONES EJEMPLOS

EQUIVALENCIA DE LA LEY

La doble negación 1) A    A 1) “La aspirina es un

de una proposición antiinflamatorio”. Equivale
equivale a la por DN a: “Es inconcebible
Doble Negador
afirmación de la que la aspirina no es un
(DN) misma proposición. antinflamatorio”.
2)   A  A 2) “Es falso que, la corrupción
no sea un problema de los

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

4
 ASIGNATURA: LÓGICA

países latinoamericanos”.
Equivale por DN a: “La
corrupción es un problema
de los países
latinoamericanos”.
3) [ ( A) ]   A 3) “Es incierto que, sea falso
que, el Perú no es un país
tecnológicamente
avanzado”. Equivale por
DN a: “Es falso que el Perú
es un país
tecnológicamente
avanzado”.
Llamada también 1) A  B  B   A 1) “Dado que hay
transposición. Son movimientos sísmicos en la
equivalencias en las tierra, por consiguiente
Contraposición
cuales la cualidad habrá devastación”.
(CP) de los términos o Equivale por CP. a: “Si no
variables de las hay devastación, es obvio
proposiciones se que no hay movimientos
(←,, ↔, ) invierten, es decir si sísmicos en la tierra”.
la proposición “p” 2) A   B  B   A 2) “Si los conductores regulan
tiene cualidad la velocidad entonces no
afirmativa al provocarán accidentes de
contraponerlo tránsito”. Equivale por CP.
pasará a ser a: “puesto que los
negativa, y si la conductores provocan
proposición ”q” es accidentes de tránsito por
negativa al aplicarle lo tanto no regulan la
la ley de velocidad al conducir”.
contraposición se 3) “Si las universidades del
3)  A   B  B  A
convertirá en Perú no se acrediten en
afirmativa. consecuencia es falaz que
mejorarán la formación

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

5
 ASIGNATURA: LÓGICA

profesional”. Equivale por

CP. a: “En el sentido que las
universidades del Perú
mejoran la formación
profesional por ende están
acreditadas”.
En una proposición 1) A ∧ B  B ∧ A 1) “Eduardo estudia abogacía
conjuntiva, tanto como educación”.
disyuntiva Equivale por CM. a:
Conmutación (excluyente e “Eduardo estudia

(CM) incluyente) y educación, así como

bicondicional, si se abogacía”.
permutan las 2)  A  B  B   A 2) “David no es deportista
(∧, , , ↔, , /) variables, el salvo que sea profesor de
resultado no se ve Filosofía”. Equivale por
afectado. CM. a: “David es profesor
de Filosofía a menos que no
sea deportista”.
Esta ley sólo es 1)  (A ∧ B)   A  B 1) “Es mentira que, la lógica
aplicable a es un arte así como la
proposiciones filosofía una ciencia
compuestas factual”. Equivale por

Ley de Morgan conjuntivas o LDM, a: “La lógica no es un

disyuntivas arte salvo que la filosofía
(LDM)
incluyentes. no sea una ciencia factual”.
(∧ , ) 2) “No ocurre que, haya vida
La negación de la
en Marte a menos que
disyunción de dos
también lo haya en
variables 2)  (A  B)  A ∧B
Júpiter”. Equivale por LDM
cualquiera,
a: “No hay vida en marte
equivale a la
pero tampoco en Júpiter”.
conjunción de
3) “I. Kant fue filósofo pero G.
dichas variables
Fregge fue lógico”.
negadas.
Equivale por LDM. a: “No

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

6
 ASIGNATURA: LÓGICA

De igual manera la es verdad que, I. Kant no

negación de la fue filósofo salvo que G.
3) (A ∧ B)  (A B)
conjunción de dos Fregge no fue lógico”.
variables, equivale
a la disyunción de 4) (A  B) ( A ∧ B) 4) “El Bromo es metal salvo
dichas variables que el Yodo es gas noble”.
negadas. Equivale aplicando LDM.
a: “Es falso que, el Bromo
no es metal pero el Yodo no
es gas noble”.
Los elementos de 1) A ∧ (B∧C)(A∧ B) ∧ C 1) “La lógica es una ciencia
igual jerarquía de demostrable, sin embargo
un esquema es exacta y precisa”.
conjuntivo, Equivale por ASOC. a: “La
Asociación disyuntivo o lógica es una ciencia
bicondicional se demostrable y exacta, pero
(ASOC)
pueden agrupar también precisa.”
(∧, ,↔ ) indistintamente
unos con otros. En 2) A(BC)(AB)C 2) “El Perú es un país libre,
esta equivalencia salvo que democrático o
sólo cambia la igualitario”. Equivale por
posición de los ASOC. a: “El Perú es un país
signos de libre salvo que
agrupación. democrático, a menos que
igualitario”.
Sólo se aplica al
encadenamiento
de conjunciones
disyunciones
(incluyentes y
excluyentes),
bicondicionales.

Consiste en 1. A∧(BC)A∧B)(A∧C) 1) El cambio climático afecta a

distribuir una los países desarrollados; sin

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

7
 ASIGNATURA: LÓGICA

Distribución variable o fórmula embargo los países en vías

(parcial) que esté A(B∧C)(AB) ∧ (AC) de desarrollo sufren un
(DIST)
unida por una mayor impacto a menos
(,∧ )
conjunción (o que reciban la ayuda

(∧ , ) disyunción humanitaria”. Equivale por

incluyente) a un DIST. a: “El cambio
( , ∧)
esquema climático afecta a los países
( , ) molecular desarrollados, pero los
disyuntivo países en vías de desarrollo
incluyente (o sufren un mayor impact; a
conjuntivo) según menos que el cambio
sea el caso. climático afecta a los países
desarrollados aunque
a) Encadenamiento
reciban la ayuda
de conjunciones y
humanitaria”.
disyunciones
débiles.
2. “Si la Amoxicilina es un
b) Encadenación de 2. A(B∧C)  (AB)∧(A C)
antibiótico, entonces actúa
implicación
a nivel de bacterias Gram
conjunción y
positivas y Gram
disyunción débil
negativas”. Equivale por
DIST. a: “si la Amoxicilina es
un antibiótico por lo tanto
actúa a nivel de bacterias
Gram positivas, además, si
la Amoxicilina es un
antibiótico, entonces actúa
a nivel de bacterias Gram
negativas”.

A(BC) (AB)  (AC)

Construye un ejemplo

Otras leyes:

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

8
 ASIGNATURA: LÓGICA

 Ley de absorción
 Ley de Mutación
 Ley de exportación
 Leyes de definición de conectores (implicador, biimplicador, disyunción excluyente.

ACTIVIDADES DE AUTOESTUDIO:
1. Completa el siguiente Esquema:
Leyes de Conectores a los Demostración Ejemplo
equivalencia que es aplicable. formal

2. ¿A qué es equivalente la siguiente proposición según ley de Morgan? “En el Perú no hay
estabilidad política así como tampoco hay seguridad ciudadana”
-------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------
3. ¿A qué es equivalente la siguiente proposición según principio de Contraposición?: “Si los
estudiantes de la escuela de Derecho estudian filosofía, consecuentemente desarrollarán
un pensamiento más crítico.”
-------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

9
 ASIGNATURA: LÓGICA

Referencias Bibliográficas
Bonilla, (2018): Apuntes de lógica. Trujillo. Córdova Roy. (2016). Lógica. Trujillo

Lázaro C. (2013): Lógica y razonamiento lógico.

Córdova, J. (1994). Lógica: teoría del pensamiento. Universidad Nacional de Trujillo.

Piscoya L. (2009): introducción a la lógica. Lima UNMSM

DOCENTES: Mg. Juan Alfredo Díaz Hoyos

10