LÓGICA MATEMÁTICA Y DIGITAL

Semana 3
Equivalencias Lógicas
 Semana 3
Equivalencias Lógicas

APRENDIZAJE ESPERADO
El estudiante será capaz de:
• Examinar fórmulas proposicionales lógicamente equivalentes en distintos
enunciados y problemáticas, con la finalidad de distinguir los resultados
probables de una situación analizada.

Reservados todos los derechos Instituto Superior de Artes y Ciencias de la Comunicación S.A. No se permite copiar, reproducir, reeditar, descargar, publicar,
emitir, difundir, de forma total o parcial la presente obra, ni su incorporación a un sistema informático, ni su transmisión en cualquier forma o por cualquier
medio (electrónico, mecánico, fotocopia, grabación u otros) sin autorización previa y por escrito de Instituto Superior de Artes y Ciencias de la Comunicación
S.A. La infracción de dichos derechos puede constituir un delito contra la propiedad intelectual.

IACC 2022 2
 Semana 3
Equivalencias Lógicas

ÍNDICE
APRENDIZAJE ESPERADO ........................................................................................................................................................... 2
INTRODUCCIÓN.......................................................................................................................................................................... 4
RESUMEN ................................................................................................................................................................................... 5
PALABRAS CLAVE ....................................................................................................................................................................... 5
PREGUNTAS GATILLANTES ......................................................................................................................................................... 5
1. EQUIVALENCIAS LÓGICAS .................................................................................................................................................... 6
1.1 FÓRMULAS PROPOSICIONALES LÓGICAMENTE EQUIVALENTES .................................................................................... 10
1.2 TABLA DE VERDAD PARA FÓRMULA PROPOSICIONAL ................................................................................................... 11
1.3 DIAGRAMA DE ÁRBOL PARA FÓRMULA PROPOSICIONAL ............................................................................................. 16
COMENTARIO FINAL ................................................................................................................................................................ 23
REFERENCIAS............................................................................................................................................................................ 24

IACC 2022 3
 Semana 3
Equivalencias Lógicas

INTRODUCCIÓN
Reconociendo la lógica como característica natural y fundamental del quehacer humano, al momento de
razonar y tomar decisiones, es importante resaltar que a través del tiempo se han definidos leyes,
propiedades y métodos que permiten demostrar que un razonamiento es válido y consistente, y
determinar su certeza o falsedad, dependiendo del valor de sus variables en cualquier momento o lugar.
Para ello, se han establecido mecanismos que permiten evaluar si las fórmulas proposicionales que
representan algún enunciado, sea verbal o escrito, son ciertas o no. Asignando valores de verdad a las
variables proposicionales, se verifica cada una de las sub-fórmulas que componen la Proposición molecular,
principalmente mediante su tabla de verdad, o el Árbol de formación, y se obtiene el valor final que las
clasifica como Tautología, Contradicción o Contingencia.
De estos tres tipos de fórmulas proposicionales, se ha encontrado que aquellas que solo tienen valor “1”
para cualquier combinación posible de sus variables proposicionales, o Tautologías, son de relevancia para
la definición de leyes y principios lógicos. De ahí, se deduce que dos fórmulas proposicionales son
lógicamente equivalentes, cuando al ser analizadas para cualquier condición de sus variables su valor de
verdad es siempre igual, y por tanto pueden ser intercambiadas sin afectar el sentido del enunciado o
situación estudiado. Al simplificar o modificar las fórmulas proposicionales, se busca encontrar su forma
más simple y poder así demostrar su valor de verdad.

IACC 2022 4
 Semana 3
Equivalencias Lógicas

RESUMEN
Una equivalencia lógica es cuando al aplicar una Bicondicional entre dos fórmulas lógicas, el resultado es
siempre igual a “1”, es decir, se obtiene una tautología, lo cual ratifica que los dos enunciados interpretados
por dichas fórmulas son lógicamente equivalentes y se puede sustituir uno por el otro en cualquier
condición de sus variables, sin modificar su significado.
Las fórmulas tautológicas son, por tanto, de suma importancia para la lógica, porque sobre ellas se han
establecido las leyes o teoremas que constituyen su fundamentación teórica. Los procedimientos para
determinar cuáles proposiciones son tautológicas, contradictorias o ambivalentes, son la tabla de verdad,
y el diagrama de árbol. Ambos permiten, en una forma secuencial y organizada, verificar los valores de
verdad de una fórmula proposicional de acuerdo con las diferentes combinaciones de sus variables de
entrada.
Existen infinidad de equivalencias lógicas, pero algunas que han sido muy estudiadas y revisadas, se han
convertido en reglas o leyes, que han pasado a formar parte integral en la validación de los razonamientos
lógicos, y que deben conocerse y manejarse correctamente.

PALABRAS CLAVE
• Equivalencia lógica
• Tabla de verdad
• Bicondicional
• Tautología
• Árbol de verdad
• Leyes lógicas

PREGUNTAS GATILLANTES
• ¿Cuán importante diría que es el poder generar nuevas fórmulas lógicas simplificadas a partir de
una equivalencia lógica?
• ¿Cuál considera que es la importancia de la Tabla de Verdad para el análisis y demostración de
argumentos y fórmulas lógicas?
• ¿Cuál es la principal utilidad del método de árbol de verdad como herramienta para la
determinación de tautologías?

IACC 2022 5
 Semana 3
Equivalencias Lógicas

1. EQUIVALENCIAS LÓGICAS
Si se tienen dos enunciados, estos son equivalentes si poseen el mismo sentido y valor de verdad. Por
ejemplo, considerando la Bicondicional p ⇔ q, en la cual
p = “Júpiter es más grande que la Tierra” y
q = “Madrid es la capital de España”,
Las dos proposiciones lógicas son verdaderas en su significado, pero es evidente que no es posible sustituir
una con la otra.
Pero, cuando se da el caso que al relacionar dos proposiciones lógicas y es posible el reemplazo recíproco,
entonces se habla de una Equivalencia Lógica, o que ambos enunciados son fórmulas lógicamente
equivalentes. Esto se puede sintetizar en una sencilla definición:
“Dos enunciados son lógicamente equivalentes cuando la Bicondicional entre ellos es una tautología”
Es imposible que tales enunciados posean distinto valor de verdad, y como constantemente poseen el
mismo valor de verdad, es posible reemplazar uno con el otro en todo contexto o razonamiento, sin
modificar el valor de verdad de este.
Para describir mejor esta importante relación, existen varias equivalencias lógicas muy conocidas y que se
usan frecuentemente para el análisis de argumentos, como es el principio de doble negación, que establece
que p y ¬¬p tienen el mismo significado.

P= Ana baila bien, y ¬p = Ana no baila bien Luego, ¬¬p = Es falso que Ana no baila bien

Es obvio que p y ¬¬p tienen el mismo valor de verdad y la Bicondicional o equivalencia material entre
ellos resulta en una tautología, tal como se muestra en la siguiente tabla de verdad:

p ¬p ¬(¬p) p ⇔ ¬¬p

0 1 0 1

1 0 1 1

Esta relación p ⇔ ¬¬p, en la cual dos enunciados son equivalentes lógicos puede representarse también
con el símbolo ≡, es decir:
p 𠪪 p
Tabla 1. Ejemplo
Fuente: elaboración propia

Existen dos equivalencias lógicas bien conocidas (condicionales lógicamente verdaderos) porque expresan
interrelación entre los conectivos conjunción y disyunción, y que conforman la base conceptual sobre la

IACC 2022 6
 Semana 3
Equivalencias Lógicas

que se desarrolló el Álgebra de Boole, y todo el avance tecnológico alrededor de la electrónica y

computación desde la primera parte del siglo XX, los cuales se explican a continuación:
• ¬ (p V q) ≡ (¬ p• ¬ q). Cuando una disyunción es verdadera, se reconoce, por definición, que al
menos una de sus dos proposiciones, p o q, es verdadera, y la única forma de obtener un valor de
verdad Falso, es que ambos disyuntos sean falsos. Por tanto, para que una disyunción sea falsa, es
condición necesaria que tanto p como q sean falsos.

Copi y Cohen (2013) expresan al respecto que:

“Se puede afirmar que la negación de la disyunción (p V q) es lógicamente equivalente a afirmar la

conjunción de las negaciones de p y de q” (p. 416).

Esto se comprueba al formular la Bicondicional ¬ (p V q) ≡ (¬ p• ¬ q) mediante una tabla de verdad que

muestre que su valor de verdad en cualquier combinación de las variables proposicionales es siempre
verdadero, es decir, forma una Tautología.
La siguiente tabla muestra lo descrito anteriormente.

p Q pVq ¬ (p V q) ¬p ¬q ¬p•¬q ¬ (p V q) ≡ (¬ p • ¬ q)

0 0 0 1 1 1 1 1

0 1 1 0 1 0 0 1

1 0 1 0 0 1 0 1

1 1 1 0 0 0 0 1
Tabla 2. Tabla de verdad del teorema de Morgan para la disyunción lógica
Fuente: elaboración propia

• ¬ (p • q) ≡ (¬ p V ¬ q). Lo mismo ocurre con una conjunción (p • q) o (p Ʌ q), de la cual se puede

afirmar que es verdadera cuando tanto p como q son verdaderas. Si solo se conoce la verdad de
uno de los dos enunciados, no es posible establecer el valor de verdad de este conectivo. Caso
contrario, si se tiene que p o q son falso, ya es condición suficiente para afirmar que la conjunción
es falsa.

IACC 2022 7
 Semana 3
Equivalencias Lógicas

En este sentido, Copi y Cohen (2013) establecen que

“Afirmar la negación de la conjunción (p • q) es lógicamente equivalente a afirmar la disyunción de las
negaciones de p y de q” (p. 416).

Nuevamente, se puede comprobar esta relación de equivalencia lógica, mediante la formulación

del Bicondicional ¬ (p • q) ≡ (¬ p V ¬ q).
La siguiente tabla de verdad, sirve para demostrar que es una Tautología.

p Q p•q ¬ (p • q) ¬p ¬q ¬pV¬q ¬ (p • q) ≡ (¬ p V ¬ q)

0 0 0 1 1 1 1 1

0 1 0 1 1 0 1 1

1 0 0 1 0 1 1 1

1 1 1 0 0 0 0 1
Tabla 3. Tabla de verdad del teorema de Morgan para la conjunción lógica.
Fuente: elaboración propia

Estos dos bicondicionales tautológicos, o como ya ha quedado demostrado, equivalencias lógicas,

se conocen como el Teorema de Morgan, ya que fueron formulados formalmente por el
matemático Augustus de Morgan a mediados del siglo XIX. Estos son relevantes en el estudio del
Álgebra de Boole, y la construcción de las compuertas digitales.

• Otra equivalencia lógica muy utilizada, es la relación entre tautologías y argumentos válidos,
entendiendo que un argumento es un conjunto de premisas que se expresan, en forma oral o
escrita, para obtener, mediante un razonamiento coherente y consistente, una conclusión como
consecuencia lógica.
Para cualquier argumento de la forma:
P⊃q
P
∴q

IACC 2022 8
 Semana 3
Equivalencias Lógicas

Corresponde un enunciado condicional de la forma [(p ⊃ q) •p] ⊃ q, donde el antecedente es la

conjunción de las premisas o hipótesis, y el consecuente es la conclusión.
Pero, partiendo de la definición del conectivo lógico Condicional (⊃), cualquier enunciado con la
forma “si p entonces q” solamente se reconoce como falso cuando su antecedente “p” es verdadero
y su consecuente “q” es falso, lo que se puede representar como “p•¬q” (es decir, la conjunción de
p verdadero y q falso).
Si se quiere que el condicional sea verdadero (lo cual se busca para demostrar que es una
tautología) entonces se puede expresar la definición del Condicional como aquella relación que es
verdadera cuando la negación de la conjunción de su antecedente con la negación del consecuente
sea verdadera, o lo que es lo mismo:
p⊃ q ≡ p•¬q

Ahora bien, si a esta definición de condicional que se ha determinado, se le aplica la equivalencia

lógica que se explicó en el punto anterior, y que se conoce como Teorema de Morgan para la
conjunción, entonces:
La tabla siguiente muestra lo descrito anteriormente.
p⊃ q ≡ p•¬q
p•¬q ≡ ¬p V¬ (¬ q)
(por fórmulas lógicamente equivalente)
y, ¬ (¬ q) por el Principio de Doble Negación es igual a q
p•¬q ≡ ¬p V q
Entonces, la condicional es lógicamente equivalente a la disyunción de la negación del antecedente o el
consecuente:
p ⊃ q ≡ ¬p V q

Esto es comprobable mediante una sencilla tabla de verdad:

p q p ⊃q ¬p ¬p V q p ⊃ q ≡ ¬p V q

0 0 1 1 1 1

0 1 1 1 1 1

1 0 0 0 0 1

1 1 1 0 1 1
Tabla 4. Tabla de verdad de la Equivalencia lógica de la condicional por definición
Fuente: elaboración propia

IACC 2022 9
 Semana 3
Equivalencias Lógicas

1.1 FÓRMULAS PROPOSICIONALES LÓGICAMENTE EQUIVALENTES

Como se describió anteriormente, dos fórmulas proposicionales son lógicamente equivalentes si la relación
bicondicional entre ellas es una tautología, o en forma simple, si al aplicar el conectivo Bicondicional entre
ellas, solo se obtienen V como valor de verdad en la columna final de su tabla de verdad.
La equivalencia lógica tiene tres propiedades básicas, a saber:

• Reflexividad: toda fórmula es lógicamente equivalente a sí misma: A ≡ A.

• Simetría: si A ≡ B, entonces B ≡ A.
• Transitividad: si A ≡ B y B ≡ C, entonces A ≡ C.

Se pueden identificar tres principios lógicos, también identificados como “leyes del pensamiento”, que son
condiciones necesarias y suficientes para que un razonamiento sea consistente y ordenado, los cuales son:

1 Principio de Identidad Si una proposición es verdadera, entonces es verdadera; una

proposición es idéntica a sí misma.
p ⟶ p´; p ⇔ p

2 Principio de No Contradicción No es posible que una proposición sea verdadera y falsa al

mismo tiempo. Una cosa no puede existir y no existir a la vez.
p • ¬ p es siempre Falso
Es Falso que el delfín sea mamífero y que no sea mamífero

3 Principio del Tercio Excluido
No existe una tercera posibilidad, ya que una proposición es
verdadera o es falsa.
p V ¬ p es siempre Verdadero
El delfín es mamífero o no sea mamífero
Tabla 5. Principios lógicos
Fuente: elaboración propia

Ya se han demostrado cuatro equivalencias lógicas fundamentales, mediante la construcción de la tabla de

verdad donde se observa que bajo la columna del Bicondicional solo se encuentran valores Verdaderos.
Estas son el principio de Doble negación, los Teoremas de Morgan de la disyunción y la conjunción, y la
definición del condicional como la disyunción del negado de la hipótesis o la conclusión.

IACC 2022 10
 Semana 3
Equivalencias Lógicas

En ese mismo orden de ideas, existen muchas equivalencias notables, que a través del tiempo se han
establecido como leyes de la lógica, ya que permiten la transformación y simplificación de proposiciones
moleculares en otras formas más simples, las cuales son igualmente aplicables, en su mayoría, a las
operaciones matemáticas.
En la tabla 6, se pueden apreciar algunas de ellas.

Leyes Lógicas (Equivalencia Lógicas Notables)

DISYUNCIÓN CONJUNCIÓN

1 Leyes Idempotencia o A V A ≡ A A•A≡A

Equipotenciales

2 Leyes Conmutativas AVB≡BVA A•B≡B•A

3 Leyes Asociativas (A V B) V C ≡ A V (B V C) (A • B) • C ≡ A • (B • C)

4 Leyes Distributivas Con respecto a la conjunción: Con respecto a la disyunción:

A V (B • C) ≡ (A V B) • (A V C) A • (B V C) ≡ (A • B) V (A • C)
Tabla 6. Leyes lógicas
Fuente: elaboración propia

1.2 TABLA DE VERDAD PARA FÓRMULA PROPOSICIONAL

Una tabla de verdad permite realizar todas las combinaciones posibles de las variables proposicionales que
contiene una fórmula proposicional, pudiendo resolverse varias proposiciones moleculares al mismo
tiempo en una misma tabla de certeza.
Para construir una tabla de verdad con n proposiciones atómicas distintas, se necesitan 2n líneas. Para cada
átomo p, q, r… es necesario una columna, y además se incluye una columna por cada término conectivo
que se presente y toda sub-fórmula que genere.
A continuación, se utilizan tablas de verdad para demostrar la validez de las equivalencias lógicas que se
etiquetaron como leyes de la lógica en la tabla 6. Observe que todas las columnas con sombreado verde,
donde se ubica la relación de equivalencia, sólo presentan valor de verdad 1, es decir, en todas las
combinaciones de variables se obtiene Verdadero como valor de verdad.

• Leyes Equipotenciales o de Idempotencia: Para la disyunción es válido afirmar que A V A ≡ A, y para

la conjunción es siempre verdad que A Ʌ A ≡ A

IACC 2022 11
Semana 3
Equivalencias Lógicas

A AVA AVA≡ AɅA AɅA≡A

A

0 0 1 0 1

1 1 1 1 1
Tabla 7. Demostración de las leyes equipotenciales
Fuente: elaboración propia

• Leyes Conmutativas: para la disyunción es válido afirmar que A V B ≡ B V A, y para la conjunción es

siempre verdad que A Ʌ B ≡ B Ʌ A
A B AVB BVA AVB≡BVA A•B B•A A•B≡B•A

0 0 0 0 1 0 0 1

0 1 1 1 1 0 0 1

1 0 1 1 1 0 0 1

1 1 1 1 1 1 1 1
Tabla 8. Demostración de las leyes conmutativas para la disyunción y la conjunción
Fuente: elaboración propia

• Leyes Asociativas: para la disyunción es válido afirmar que (A V B) V C ≡ A V (B V C), y para la

conjunción es siempre verdad que (A • B) • C ≡ A • (B • C)
1 2 3 4 5

A B C AVB (A V B) V C (B V C) A V (B V C) (A V B) V C ≡ A V (B V C)

0 0 0 0 0 0 0 1

0 0 1 0 1 1 1 1

0 1 0 1 1 1 1 1

0 1 1 1 1 1 1 1

1 0 0 1 1 0 1 1

1 0 1 1 1 1 1 1

1 1 0 1 1 1 1 1

1 1 1 1 1 1 1 1
Tabla 9. Demostración de la ley asociativa para la disyunción lógica
Fuente: Elaboración propia

IACC 2022 12
 Semana 3
Equivalencias Lógicas

En la tabla 9, se puede observar cómo al aplicar la ley asociativa entre tres fórmulas lógicas A, B y C para la
disyunción, se comprueba que se logra una tautología al resolver la equivalencia (columna 5) entre la
columna 2 y 4 (hay que recordar que el símbolo ≡ corresponde a una Bicondicional que es tautología, tal
cual se estableció al inicio).
Por su parte, en la tabla 10, se puede observar cómo al aplicar la ley asociativa entre tres fórmulas lógicas
A, B y C para la conjunción lógica, se comprueba que se logra una tautología al resolver la equivalencia
(columna 5) entre la columna 2 y 4.

1 2 3 4 5

A B C A• (A • B) • C B•C A • ( B • C) (A • B) • C ≡ A • ( B •
B C)

0 0 0 0 0 0 0 1

0 0 1 0 0 0 0 1

0 1 0 0 0 0 0 1

0 1 1 0 0 1 0 1

1 0 0 0 0 0 0 1

1 0 1 0 0 0 0 1

1 1 0 1 0 0 0 1

1 1 1 1 1 1 1 1
Tabla 10. Demostración de la ley asociativa para la conjunción lógica
Fuente: elaboración propia

• Leyes Distributivas: para la disyunción con respecto a la conjunción es válido afirmar A V (B • C) ≡

(A V B) • (A V C), y para la conjunción con respecto a la disyunción es siempre verdad que A • (B V
C) ≡ (A • B) V (A • C)

1 2 3 4 5 6

A B C B•C A V (B • C) (A V B) (A V C) (A V B) • (A V C) A V (B • C) ≡ (A V B) • (A V C)

0 0 0 0 0 0 0 0 1

0 0 1 0 0 0 1 0 1

0 1 0 0 0 1 0 0 1

IACC 2022 13
 Semana 3
Equivalencias Lógicas

0 1 1 1 1 1 1 1 1

1 0 0 0 1 1 1 1 1

1 0 1 0 1 1 1 1 1

1 1 0 0 1 1 1 1 1

1 1 1 1 1 1 1 1 1
Tabla 11. Demostración de la ley distributiva para la disyunción lógica con respecto a la conjunción
Fuente: elaboración propia

En la tabla 11, se puede observar cómo al aplicar la ley distributiva entre tres fórmulas lógicas A, B y C para
la disyunción con respecto a la conjunción, se comprueba que se logra una tautología al resolver la
equivalencia (columna 6) entre la columna 2 y 5 (hay que recordar que el símbolo ≡ corresponde a una
Bicondicional que es tautología, tal cual se estableció al inicio).
Por su parte, en la tabla 12, se puede observar cómo al aplicar la ley Distributiva entre tres fórmulas lógicas
A, B y C para la conjunción lógica con respecto a la disyunción, se comprueba que se logra una tautología
al resolver la equivalencia (columna 6) entre la columna 2 y 5.

1 2 3 4 5 6

A B C BVC A • (B V C) (A • B) (A • C) (A • B) V (A • C) A •(B V C) ≡ (A • B) V (A • C)

0 0 0 0 0 0 0 0 1

0 0 1 1 0 0 0 0 1

0 1 0 1 0 0 0 0 1

0 1 1 1 0 0 0 0 1

1 0 0 0 0 0 0 0 1

1 0 1 1 1 0 1 1 1

1 1 0 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1
Tabla 12. Demostración de la ley distributiva para la conjunción lógica con respecto a la disyunción
Fuente: elaboración propia

Estas leyes lógicas, que se obtienen de la demostración de la equivalencia lógica entre fórmulas
moleculares, son hartamente conocidas desde su aplicación en operaciones matemáticas, pero existen
diferencias que señalar. En primer lugar, las leyes equipotenciales son válidas en la Lógica simbólica, donde

IACC 2022 14
 Semana 3
Equivalencias Lógicas

solo son posibles valores de verdad “0” y “1”, por tanto, es evidente que no proceden en la matemática
tradicional, con los 10 dígitos (del 0 al 9). En segundo lugar, la ley distributiva sólo es válida,
matemáticamente hablando, para la multiplicación con respecto a la suma, pero no al revés.

Suponga la operación matemática: 3 x (2 + ¿Cuál es la forma correcta de resolverla?

4)

1. Se puede proceder de esta manera: se 2. También se puede proceder de esta otra forma:
resuelve la suma dentro del Aplicando la propiedad distributiva:
paréntesis: 3 x (2 +4) = (3 x 2) + (3 x 4)
2 + 4 = 6, luego se procede con la Resolviendo cada paréntesis:
multiplicación
(6) + (12) = 18, se obtiene el mismo resultado.
3 x (6) = 18, el resultado es 18.

Ahora bien, supóngase esta operación La suma matemática no admite la propiedad distributiva con
matemática: respecto a la multiplicación. Para demostrar esto, se resuelve
3 + (2 x 4), obviamente se resuelve primero la misma operación siguiendo la ley de la distribución lógica:
el paréntesis (2 x 4) = (6), y luego la suma: A V (B • C) ≡ (A V B) • (A V C)
3 + (6) = 9 3 + (2 x 4) = (3 +2) x (3 +4)
9 ≠ (5) x (7)
9 ≠ 35, es obvio que no son iguales, por tanto, queda
demostrado que no se cumple esta propiedad en
matemática.
Tabla 13. Ejemplo
Fuente: elaboración propia

Se ha demostrado la validez de algunas de las principales leyes y principios fundamentales de la Lógica,

mediante la construcción de una tabla de verdad donde el conectivo de mayor jerarquía es una
bicondicional entre dos fórmulas lógicamente equivalentes, y cuyo valor de certeza siempre es verdad o
“1”, es decir, se reconoce una tautología. En este punto, es necesario acotar, que este método de la tabla
de verdad es muy útil, pero solo cuando se manejan fórmulas lógicas de pocas variables proposicionales,
dado que a medida que se incrementan los átomos que componen la fórmula o razonamiento a evaluar,
aumentan las posibles combinaciones de valores de verdad que se deben revisar.

Esto es así porque el número de combinaciones posibles de las variables proposicionales (o filas de una
tabla de verdad) es igual a 2N, donde N es el número de variables proposicionales. Si la fórmula tiene 5
variables o proposiciones simples en su enunciado (p, q, r, s y t) entonces hay 2 5 o 32 combinaciones que
revisar en la tabla.

IACC 2022 15
 Semana 3
Equivalencias Lógicas

Al mismo tiempo, así como el número de átomos puede ser alto, la cantidad de conectivos y las diferentes
sub-fórmulas que componen la Fórmula Proposicional determinan la cantidad de columnas que debe
poseer la tabla de verdad. Aunque el proceso de construcción es relativamente fácil, como se ha visto, al
aumentar el número de filas y columnas en una tabla se incrementa la posibilidad de cometer algún error.
Por eso, han surgido a lo largo del tiempo, nuevos mecanismos para probar la validez o valor de verdad de
un razonamiento o fórmula lógica, de los cuales, uno es el Diagrama de Árbol para fórmula proposicional
que se explica en el siguiente punto .

1.3 DIAGRAMA DE ÁRBOL PARA FÓRMULA PROPOSICIONAL

Dado que las tautologías constituyen el fundamento de la mayoría de las leyes lógicas, es necesario contar
con métodos que permitan su identificación. Para ello, la herramienta más conocida es la Tabla de verdad,
la cual se ha utilizado para exponer y verificar los principios lógicos estudiados, pero puede resultar larga y
tediosa en el caso de contar con muchas variables proposicionales, tal como se mencionó en el punto
anterior.

El método abreviado, o método de árbol de verdad, permite demostrar que existe un Falso (0) en la tabla
de verdad de una fórmula lógica, lo cual indicaría que no es tautología, es decir, no todos sus valores de
verdad son verdaderos (1). Es una versión del método de reducción al absurdo, dado que se parte de la
suposición de un Falso en el signo principal de la Proposición molecular para ver si es posible, y si no se
encuentran contradicciones que refuten el supuesto inicial, entonces la fórmula analizada no tiene forma
tautológica.

La siguiente imagen (Figura 1) muestra un diagrama de árbol

IACC 2022 16
 Semana 3
Equivalencias Lógicas

Figura 1. Ejemplo de árbol de formación

Fuente: http://www.cs.us.es/~fsancho/?e=237

Cuando se examina el Diagrama de Árbol, visto desde arriba hacia abajo, se puede observar como la
Fórmula Lógica, generalmente de elevada complejidad, se descompone en proposiciones moleculares cada
vez más simples hasta llegar a las variables proposicionales. En forma inversa, si se revisa de abajo hacia
arriba, se reconocen los átomos que la componen y los conectivos en cada una de sus ramas, formando
sub-fórmulas que se van resolviendo en forma ascendente.
Lo práctico de este método es que no es necesario construir todas las combinaciones posibles como en la
tabla de verdad, porque basta que se llegue a un absurdo para determinar que la Fórmula es Tautología.
Para explicar el Método de Árbol de verdad, se muestra paso a paso su aplicación en el siguiente ejemplo:
La Fórmula Proposicional mostrada ¿es una tautología?

p • ¬ q V r ⊃ ¬ [ (¬ p ⇔ q) • ¬ r]

Se comienza inspeccionando la fórmula para identificar el símbolo de mayor jerarquía, para ir dividiendo
en sub-fórmulas cada vez más pequeñas hasta llegar a las variables. En este caso:

IACC 2022 17
Semana 3
Equivalencias Lógicas

p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
El signo principal es la Condicional
p•¬qVr ¬ [ (¬p ⇔ q) • ¬ r]
Por jerarquía de símbolos, se divide la sub-fórmula Por los corchetes, el símbolo más importante en
en la Disyunción esta sub-fórmula es la negación externa

p•¬q R (¬p ⇔ q) • ¬ r
La conjunción es el símbolo La conjunción es el símbolo principal de esta
principal de esta proposición
proposición

p ¬q ¬p ⇔ q ¬r
Solo resta la Es una proposición con Solo resta la negación
negación un solo conectivo

q ¬p q
Solo resta
la
negación

1. Ya reconocido el alcance de cada símbolo, y definidas las proposiciones compuestas que integran la Fórmula
Proposicional, y siendo que el signo principal es la condicional ⊃, el método inicia suponiendo que hay una
F, que se coloca debajo de este símbolo (se enumeran cada caso a revisar)

p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
F
❶

• Para que la Condicional sea F, su antecedente debe ser verdadero y su consecuente falso, siendo la
única opción posible. Se coloca la V debajo de la disyunción (❷) y F debajo del negado delante del
corchete (❸)
p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
❶
F

❷ ❸
V F

IACC 2022 18
Semana 3
Equivalencias Lógicas

• Hay que detenerse un poco y analizar cada caso. En la disyunción del caso ❷, para que la misma
sea “V” hay tres opciones según se puede observar en su tabla de verdad: cuando “p” es falso, pero
“q” verdadero, y siempre que “p” sea verdadero. Por lo cual esta rama debería ser probada en las
tres condiciones posibles.
p Q pV
q
0 0 0
0 1 1
1 0 1
1 1 1
Tabla 14. Ejemplo
Fuente: elaboración propia

Pero, como se supone que el árbol de verdad es un método abreviado, se procede, en este ejemplo,
a verificar el caso ❸, buscando brevedad (de ser necesario, si esta rama no arroja un absurdo, se
regresaría a probar estas tres opciones).
• El caso ❸ es una negación que afecta a toda la proposición compuesta dentro de los corchetes,
por lo que un Falso en este símbolo, implica que la conjunción interna es Verdadera (V).
p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
❶
F

❷ ❸
V F ❹V
• En ❹, la conjunción es verdadera, por definición, sólo cuando sus dos proposiciones son
verdaderas. Por tanto, la Bicondicional (¬p ⇔ q) debe ser verdadera (❺), y la proposición “¬ r”
también es verdadera (❻), de lo cual se obtiene el valor F de r (el caso ❼ es una negación que, al
ser verdadera, implica que la variable “r” resulte falsa). Cada variable debe tener el mismo valor en
toda la fórmula, por eso se desprende también el caso ❽).
p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
❶
F

❷ ❸
V F ❹
V

V❺ V❻

F❽ F❼

IACC 2022 19
 Semana 3
Equivalencias Lógicas

Hasta ahora no se ha encontrado ninguna contradicción o absurdo en el supuesto, por lo cual se sigue
revisando. ¿Qué pasa en el caso ❺? El conectivo Bicondicional tiene dos posibles combinaciones, en su
tabla de verdad, donde es verdadero: cuando las dos proposiciones son falsas y cuando las dos
proposiciones son verdaderas. Por lo tanto, tratando de mantener el método lo más corto posible, se dejan
estas dos opciones sin verificar, por el momento, y se procede con la revisión del caso ❽, el cual indica
que una de las dos proposiciones de la disyunción es falsa.

Pues bien, con la información que brinda el caso ❽, y retomando el caso ❷ donde se había concluido
que la disyunción debía ser verdadera, solo es posible entonces, que siendo “r” falso, la sub-fórmula “p •
¬ q” sea verdadera, porque una de las dos proposiciones debe ser verdadera para hacer verdad la
disyunción. Entonces, se obtiene el caso ❾.

p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
❶
F

❷ ❸
V F ❹
V

V❺ V❻

F❽ F❼
❾
V

Ya casi se resuelve la interrogante planteada al inicio del ejemplo. Continuando con el caso ❾ el cual
corresponde al conectivo “•”, y que se determinó que es verdadero, lo cual solo es posible si sus dos
proposiciones son verdaderas, por definición de conjunción. Se define entonces el valor de “p” como
verdadero (❿) y la negación de “q” (¬q = Verdadero, caso ⓫) lo que hace concluir el Falso de “q” (⓬).

IACC 2022 20
 Semana 3
Equivalencias Lógicas

p • ¬ q V r ⊃ ¬ [ (¬p ⇔ q) • ¬ r]
❶
F

❷ ❸
V F ❹
V

V❺ V❻

F❽ F❼
❾
V

❿ ⓫
V V

F⓬

Todo este proceso permite entonces identificar una combinación de valores de las variables p, q y r (p = V,
q = F, r = F) donde la Fórmula Proposicional es “F”. Esto es cierto porque al revisar cada rama, partiendo
de un supuesto “F” en el símbolo principal, no se evidenció ninguna contradicción o absurdo que
demuestre que esa suposición no es verdad, y por lo tanto queda demostrado que dicha Fórmula no es
tautología.
A modo de verificación, se construye la tabla de verdad de la fórmula del ejemplo, para comprobar la
conclusión que se obtiene del Diagrama de Árbol. Se enumeran las sub-fórmulas solo para poder ajustar la
tabla:
1. ¬q 2. p • ¬ q 3. p • ¬ q V r 4. ¬p 5. ¬ p ⇔ q
6. ¬ r 7. (¬ p ⇔ q) • ¬ r 8. ¬ [(¬ p ⇔ q) • ¬ r] 9. p • ¬ q V r ⊃ ¬ [(¬ p ⇔ q) • ¬ r]
La siguiente tabla, muestra lo descrito anteriormente.

p q r 1 2 3 4 5 6 7 8 9

0 0 0 1 0 0 1 0 1 0 1 1

0 0 1 1 0 1 1 0 0 0 1 1

0 1 0 0 0 0 1 1 1 1 0 1

0 1 1 0 0 1 1 1 0 0 1 1

1 0 0 1 1 1 0 1 1 1 0 0

IACC 2022 21
 Semana 3
Equivalencias Lógicas

1 0 1 1 1 1 0 1 0 0 1 1

1 1 0 0 0 0 0 0 1 0 1 1

1 1 1 0 0 1 0 0 0 0 1 1
Tabla 15. Tabla de verdad de la Fórmula del ejemplo del diagrama de árbol
Fuente: elaboración propia

De esta forma, se corrobora la eficacia del Diagrama de Árbol cuando solo se requiere conocer si la fórmula
en cuestión es tautología o no. Observe que en este ejemplo solo la combinación 100 (p = V, q = F, r = F)
no tiene valor de verdad igual a 1, tal cual se dedujo y, por ende, la fórmula no es Tautología.
Podría pensarse que el método abreviado o Diagrama de Árbol de verdad, no es tan simple como su
nombre lo indica, pero, como se señala inicialmente, la utilidad de esta herramienta solo es obvia cuando
la cantidad de variables proposicionales es alta. Además, la estructura algorítmica que presenta el método
abreviado ha permitido que este se programe y su uso se haya generalizado como aplicación informática
para emplear en análisis lógicos muy complejos.

IACC 2022 22
 Semana 3
Equivalencias Lógicas

COMENTARIO FINAL

Para la Lógica como ciencia es sumamente importante el estudio de las Fórmulas tautológicas, aquellas
cuyo resultado es siempre “V” o “1”, dado que a partir de ellas se han ido formulados las diversas leyes y
teoremas que componen su estructura teórica. Esto es así, porque mediante la comprobación de
equivalencias lógicas, se reconocen otras fórmulas lógicas que son igualmente válidas y se verifica su valor
de verdad.
La tabla de verdad se constituye en el método por excelencia para verificar el valor de verdad de una
Fórmula lógica, siendo un procedimiento mecanizado de fácil aplicación que se basa en, por medio de las
tablas de verdad de cada conectivo lógico, ir resolviendo las sub fórmulas para cada combinación posible
de las variables proposicionales, en columnas a la derecha de la tabla, hasta alcanzar el símbolo de mayor
jerarquía y que da nombre a la fórmula.
Pero cuando ocurre que una fórmula proposicional es de alto nivel de complejidad e incluye un elevado
número de átomos (o proposiciones simples), la tabla de verdad se complica por la gran cantidad de filas y
columnas que la integrarían, entonces se recurre al Diagrama de Árbol, método alternativo basado en la
refutación al absurdo, que consiste en probar que no es posible suponer un Falso en el conectivo principal
de la fórmula, lo cual demuestra sin equívoco que se trata de una tautología.

IACC 2022 23
 Semana 3
Equivalencias Lógicas

REFERENCIAS
Arredondo, J. y Escobar, G. (2016). Lógica: temas básicos. México, México: Grupo Editorial Patria.
Disponible en: https://elibro.net/es/ereader/iacc/40414?page=1

Copi, I.; y Cohen, C. (2013). Introducción a la Lógica. Segunda edición en español. México D.F. Editorial
Limusa.

Suppes, P. y Hill, S. (1980). Introducción a la lógica matemática. Barcelona etc., Editorial Reverté.
Disponible: https://elibro.net/es/ereader/iacc/174395?page=1

Waner, S.; y Costenoble, S. (2012). Introducción a la Lógica. Traducido al español por Saúl Roble. Disponible
en: https://www.zweigmedia.com/MundoReal/logic/logicintro.html

PARA REFERENCIAR ESTE DOCUMENTO, CONSIDERE:

IACC (2022). Equivalencias Lógicas. Lógica Matemática y Digital. Semana 3.

IACC 2022 24