L a proposición p v ~ o solamente

presenta V en la tabla de verdad

2.11- Tautologías

Tautología – Definición: Una proposición molecular es una tautología si es verdadera,

cualesquiera que sean los valores lógicos de las proposiciones atómicas que la componen. En otra
palabra, una proposición molecular es una tautología si su tabla de verdad solamente presenta el
valor lógico verdadero.

En una tautología se pueden sustituir sus proposiciones atómicas por otras proposiciones
atómicas, verdaderas o falsas y la proposición es también verdadera, Por ejemplo, para cualquier
proposición atómica p.

p v ~p

es una tautología. Si p es verdadera, entonces p v ~p es verdadera. Además, si p es falsa, entonces

p v ~ p es verdadera. Abajo representamos su tabla de verdad:

p ~p pv~p

V F V

F V V

En una tabla de verdad, si una proposición es una tautología, entonces cada línea ha de tener un
“V”en la columna encabezada por ella, lo que indica que la proposición es siempre cierta
(verdadera) independientemente de las combinaciones de los valores lógicos de sus
proposiciones atómicas.
Sustituyendo el símbolo p por oraciones en castellano tenemos que las siguientes
proposiciones son tautologías:

“Llueve o no llueve”
“Me voy al cine o no me voy al cine”
“Hoy es sábado o hoy no es sábado”
¿Es la proposición p v q →p una tautología? Para responder a esta cuestión se puede construir una
tabla de verdad.

P Q pvq pvq→p
 V V V V
V F V V
F V V F
F F F V

En esta tabla se obtiene la tercera columna (p v q) de las dos primeras (p y q) en virtud de la

regla practica para las disyunciones. Se obtiene la última columna (p v q →p) de la primera y la
tercera en virtud de la regla practica para condiciones. Si la proposición sugerida es una tautología
ha de tener un “V” en cada línea de cuarta columna. La letra “F” de falsedad en la tercera línea
muestra que p v q → p no es una tautología, pues es falsa. La letra “F”, en una única fila de la
columna encabezada por la proposición en cuestión es suficiente para demostrar que la
proposición no es una tautología.

Una definición formal de una tautología es:

“Una proposición es una tautología si y solo si permanece verdadera para todas las
combinaciones de asignaciones de certeza atribuidas a cada una de sus proposiciones
atómicas.”
El método de la tabla de verdad para determinar si una proposición es una tautología utiliza
esa definición. Independientemente de cuáles serán las proposiciones atómicas que se sustituyan
en una tautología, la proposición resultante será siempre cierta. Así se encuentra la “V” de
verdadero en cada línea de la columna final de la tabla, como en el ejemplo siguiente.

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

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

De la tabla anterior podemos concluir que la proposición p v ~ (p ^q) es una tautología.

2.12- Ejercicios Propuestos

1- Si p y q son proposiciones atómicas distintas. ¿Cuáles de las siguientes son tautologías? Utilizar
tablas de verdad.
a- p ↔ q
b- p ↔ p v p
c- p v q ↔ q v p
d- (p→ q) ↔(q ^p)
e- ( p ↔ p)→p
f- p ^ q → p v q

2.13- Contradicciones
Contradicción – Definición: Una proposición molecular es una contradicción si es falsa,
cualesquiera que sean los valores lógicos de las proposiciones atómicas que la componen. En otra
palabra, una proposición molecular es una contradicción si su tabla de verdad solamente presenta
el valor lógico falso.
En una Contradicción se pueden sustituir sus proposiciones atómicas por otras proposiciones
atómicas cualesquiera, verdaderas o falsas, y la proposición es también falsa. Por ejemplo, para
cualquier proposición atómica p, p ^ ~p es una contradicción. Si p es verdadera, entonces p ^ ~
p es falsa. Además si p es falsa, entonces p ^ ~p es también falsa. Abajo representaremos su tabla
de verdad:

P ~p L a proposición p ^~p solamente

presenta F en la tabla de verdad
V F

F V

En una tabla de verdad, si una proposición es una contradicción, entonces cada línea ha de
tener un “F” en la columna encabezada por ella, lo que indica que la proposición es siempre falsa
independientemente de las combinaciones de los valores lógicos de sus proposiciones atómicas.

Sustituyendo el símbolo p por oraciones en castellano tenemos que las siguientes

proposiciones son contracciones:
Sustituyendo el símbolo o por oraciones en castellano tenemos que las siguientes
proposiciones son contradicciones:
 “Llueve y no llueve”
“Me voy al cine y no m voy al cine”
“Hoy es sábado y hoy no es sábado”

Una definición de una contradicción es:

“Una proposición es una contradicción si y solo si permanece falsa para todas las
combinaciones de asignaciones de certeza atribuidas a cada una de sus distintas preposiciones
atómicas”.
El método de la tabla de verdad para determinar si una proposición es una contradicción utiliza
esta definición. Independientemente de cuales sean proposiciones atómicas que se sustituyan en
una contradicción, la proposición resultante será siempre falsa. Así se encuentra la “F” de falso en
cada línea de la columna final de la tabla, como podemos observar en la tabla de verdad anterior.

2.14- Indeterminaciones
Indeterminación- Definición: Una proposición molecular es una indeterminación sino es una
tautología y tampoco es una contradicción. En otras palabras, una proposición molecular es una
indeterminación si su tabla de verdad tiene valores de verdadero y falso.
La proposición p →q es una indeterminación pues tanto puede ser verdadera como falsa. Abajo
presentamos su tabla de verdad:

P q p→p

V V V

V F F

F V V

F F V

2.15- Ejercicios Propuestos

1- Construye la tabla de verdad de las siguientes proposiciones y verifique cuales son tautologías,
contradicciones y indeterminaciones.
a- (p v q →~p) → q ^ p
b- b- (p ↔~q) v r
c- c- ~(~(p ^ q ))↔ ~ p v ~q
d- ~(p v q) ↔ ~ p^~q