CLASIFICACIÓN DE LAS

FORMULAS DE ACUERDO A LAS

TABLAS DE VERDAD
UMG
Clasificación de las fórmulas de acuerdo a las tablas de verdad
Cuando se realiza la tabla de verdad de una fórmula, se obtienen
tres posibilidades, la primera de ellas es que todas las posibles
valuaciones, es decir, todas las filas de la tabla de verdad, sean
verdaderas V , o que todas ellas fueran falsedades F o que en las
posibles valuaciones se tienen una mezcla entre V y F.

Veremos que hay una forma alternativa de crear las tablas de

verdad, la cual consiste en escribir la fórmula y bajo cada letra
proposicional y cada conectivo lógico se ubican sus
correspondientes valuaciones.

De esta forma, el resultado final de la tabla de verdad no está en la

última columna, sino en la columna que está bajo el operador
principal.
Tautología
Es una proposición compuesta, cuya tabla de verdad siempre
es verdadera V , independientemente de los valores de verdad
de las proposiciones simples que la componen.
Por ejemplo la fórmula
￢(p ∧ q) ↔ (￢p ∨ ￢q)

￢ (p ∧ q) ↔ (￢p ∨ ￢q)
F V V V V F F F
V V F F V F V V
V F F V V V V F
V F F F V V V V
Otro ejemplo de Tautología puede ser la fórmula
(p ∧ q) → p

(p ∧ q) → p
V V V V V
V F F V V
F F V V F
F F F V F
Contradicción
Es una proposición compuesta cuya tabla de verdad tiene todas las
posibles valuaciones falsas, independientemente de los valores de
verdad de las proposiciones que la componen. Por ejemplo, la
tabla de verdad de la fórmula ￢(p ∨ q) ↔ (p ∨ q):
￢ (p ∨ q) ↔ (p ∨ q)
F V V V F V V V
F V V F F V V F
F F V V F F V V
V F F F F F F F

Otro ejemplo de contradicción lo encontramos en la fórmula

p ∧ ￢p
p ∧ ￢ p
V F F V
F F V F
Contingencia o indeterminación
Es una proposición compuesta, cuya tabla de verdad siempre
posee falsedad o verdad en todas sus posibles valuaciones.
Tomemos por ejemplo la fórmula (p ∨ q) → p:

(p ∨ q) → p
V V V V V
V V F V V
F V V F F
F F F V F
Clasificación de la tautologías
Las tautologías pueden clasificarse de acuerdo con el operador
principal de cada fórmula.

Tautologías tipo implicación

Es una tautología, cuya fórmula que tiene como conector principal
un condicional. Un ejemplo de esta
puede ser la fórmula (p ∧ q) → ￢(￢p ∨ ￢q):
(p ∧ q) → ￢ (￢p ∨ ￢q)
V V V V V F F F
V F F V F F V V
F F V V F V V F
F F F V F V V V
Tautología tipo equivalencia
Es una tautología cuya fórmula tiene como operador principal
un bicondicional.
Por ejemplo la fórmula ￢(p ∧ q) ↔ (￢p∨￢q), es un tautología
tipo equivalencia, pues su fórmula tiene como operador
principal un bicondicional.

￢ (p ∧ q) ↔ (￢p ∨ ￢q)
F V V V V F F F
V V F F V F V V
V F F V V V V F
V F F F V V V V
La figura muestra la clasificación de las fórmulas:
De acuerdo a las definiciones anteriores, es posible presentar
las siguientes proposiciones:
Proposición 1 La fórmula es lógicamente equivalente a la
fórmula si y sólo si ↔ es una tautología.

Por ejemplo, en el ejemplo de la tabla de verdad de la fórmula

￢(p ∧ q) ↔ (￢p∨￢q), pero en realidad, esta expresión dice
que las sub fórmulas ￢(P ∧ Q) y (￢p ∨ ￢q) son equivalentes.
α β
Proposición 2. Si las fórmulas α y α → β son tautologías,
entonces β es una tautología.
La proposición 2, dice que si una fórmula que es una
tautología y además, otra fórmula que es una tautología
tipo implicación, donde la sub fórmula que hace las veces
de antecedente es la primera implicación, entonces la
fórmula que hace las veces de consecuente debe ser otra
tautología.
Esto se debe a la naturaleza del condicional, que en la
tabla de verdad de este operador lógico, cuando el
antecedente es una verdad, la única forma de obtener otra
verdad es que el consecuente también sea una verdad.
Tarea
1. Determine si las siguientes fórmulas moleculares son
tautologías, contradicciones o contingencia.
En caso de ser tautología, determine si es de tipo
implicación o de tipo equivalencia.
• (￢p ∨ q) → (￢q → ￢p)
• (p ∧ ￢q) ↔ ￢(￢q ∨ p)
• (p → q) ↔ (￢q → ￢p)
• ((p → q) ∧ (q → r)) → (p → r)
• ((p → q) ∧ (q → r)) ∧ ￢(p → r)

2. Encuentre dos ejemplos para cada una de las

proposiciones 1 y 2.