2ª Unidad parte 8

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Veremos a continuación cómo por su forma lógica las proposiciones compuestas pueden ser: verdaderas en
todos los casos; falsas en todos los casos; o verdaderas con algunas combinaciones de los valores veritativos
de sus proposiciones simples componentes y falsas con otras combinaciones.
ANALIZA las siguientes tablas de verdad, especialmente en la columna de respuesta final (conectivo
principal).
p q (p ᴧ q) → p p q (p → q) ↔ (~p v q)
v V V
v F V
f v V
f F V

¿En qué casos son verdaderas las proposiciones (p ᴧ q) → p, y, (p → q) ↔ (~p v q)?

Estas dos proposiciones EN TODOS LOS CASOS cualquiera que sea la combinación en los valores veritativos
de las proposiciones simples que la componen se trata de dos proposiciones llamadas TAUTOLOGÍAS.
Tautología: Es una proposición compuesta cuya tabla de verdad muestra que es verdadera en todos los
casos, es decir cualquier combinación en los valores veritativos. La verdad de la tautología es producto de
su forma lógica.
Por ejemplo:
“Si México es un país europeo y México es un país de habla inglesa, entonces México es un país europeo”
Tiene la forma lógica (p ᴧ q) → p, la proposición es verdadera.
Examine esta tabla de verdad:
p q (p v q) ᴧ (p ᴧ q) p q (p ᴧ q) ᴧ ~p

Tenemos dos proposiciones falsas EN TODOS LOS CASOS; a proposiciones de este tipo se le llaman
CONTRADICCIONES.

CONTRADICCIONES: Es una proposición compuesta cuya tabla de verdad muestra que es falsa en todos los
casos, decir con cualquier combinación de los valores veritativos. La falsedad de una proposición
contradictoria es producto de su forma lógica.

Volvemos a este discurso: “No es el caso que somos un país rico o no somos un país rico”
p ~ (p v ~p)

COMPARA estas dos tablas de verdad:

p q (p ᴧ q) v ~p p q (p v q) → ~p
v V F
v F F
f v F
f f F

1
¿Son tautologías o contradictorias? Es claro que ni lo uno ni lo otro: en las dos proposiciones ocurre que
serán verdaderas o falsas según la combinación de los valores veritativos de p y q. Se trata de dos
proposiciones CONTINGENTES (INDETERMINADAS).
CONTINGENTES (INDETERMINADAS): es la proposición compuesta cuya tabla de verdad muestra que es
verdadera con algunas combinaciones en los valores veritativos, pero es falsa con otras combinaciones
Ejercicio: determine a que tipo pertenecen las proposiciones compuestas siguientes.
p → (p v q) Tautología
(p ᴧ q) ↔ p Contingente
P v ~( p v q) Contradicción

TAREA
Utilizando las tablas de verdad, determina cuáles de las siguientes proposiciones son Tautología,
contradictoria o indeterminada (contingente).
1.- ~p v q Contingente
2.- (p ᴧ q) → p Tautología
3.- ~[(p ᴧ q) → p] Contradicción
4.- p ↔ ~p Contradicción
5.- p v ~p Tautología
6.- q → q Tautología
7.- (p v ~p) ᴧ (q → q) Tautología
8.- (p ↔ ~p) ᴧ (p v ~p) Contradicción
9.- (p ↔ ~p) v (p v ~p) Tautología
10.- (~p v q) ↔ (p →q) Tautología

VERDAD EMPIRICA Y VERDAD FORMAL

VERDAD EMPÍRICA: Es una verdad que se comprueba con la experiencia, es decir con la observación de la
realidad en la que tienen lugar el hecho a que se refiere la proposición (empírico, viene del griego y significa
experiencia).

2
En este ejemplo: “el agua es un compuesto y el mercurio es un metal, tenemos qué será una proposición
verdadera si ocurre que “el agua es un compuesto” y “el mercurio es un metal” lo son también. Pero en
lógica formal no es posible probar si estas dos proposiciones son verdaderas REALMENTE. Es otra la ciencia
que puede probarlo: la química puede decirnos si esas dos proposiciones son verdaderas o no, según que
correspondan o no a las características REALES del agua y del mercurio.
Si las proposiciones simples resultan ser verdaderas según la química (efectivamente lo son en este caso), su
verdad es una verdad empírica.
VERDAD FORMAL: depende exclusivamente de su FORMA LÓGICA. Se comprueba con medios
exclusivamente racionales, sin que los objetos o hechos de la realidad puedan servir para confirmarla o
refutarla.
Existen proposiciones verdaderas o falsas en las que la experiencia no comprueba su valor veritativo, este se
comprueba por procedimientos meramente RACIONALES. Es el caso de la tautologías y contradicciones, que
son proposiciones con VERDAD (o falsedad) formal. Por ejemplo “el bario es un metal o el bario no es un
metal”, su forma lógica es p v ~p, si lo resolviéramos su verdad sería una tautología.
Con excepción de la lógica formal y las matemáticas, todas las ciencias formulan proposiciones simples cuya
verdad es empírica, pues puede comprobarse al repetir la observación sobre el fenómeno o el hecho
descrito.
En cambio, en lógica y en matemáticas se formulan proposiciones cuyo valor veritativo se comprueba por
medios racionales, por ejemplo.
En Lógica: “si una proposición tiene forma p v ~p, entonces es verdadera en todos los casos”
En matemáticas: “la intersección de un conjunto, con complemento, es igual al conjunto vacío”
Las anteriores las comprobaríamos por medios racionales.
EJERCICIO: Indique cuáles disciplinas están constituidas por proposiciones de verdad empírica y cuáles son
proposiciones de verdad formal.
1.- Geometría_Verdad formal
2.- Biofísica_Verdad empírica
3.- Astronomía_Verdad empírica
4.- Trigonometría_Verdad formal
5.- Algebra de los conjuntos__Verdad formal
6.- Geografía_Verdad empírica
7.- Aritmética__Verdad formal
8.- Sociología__Verdad empírica
9.- Economía__Verdad empírica
10.- Psicología_Verdad empírica

Lee cuidadosamente cada enunciado inicial y subraya la opción correcta

1.- Al procedimiento gráfico que se muestra en qué casos es verdadera una proposición se le denomina:
a) Valor veritativo
b) Forma lógica
c) Tabla de verdad
d) Conectivo lógico
2.- p ᴧ q, p v q y p v q son simultáneamente falsas cuando:
a) p es verdadera, q es verdadera
b) p es verdadera, q es falsa
c) p es falsa, q es verdadera
d) p es falsa, q es falsa

3
3.- El único caso en el que p → q, p ↔ q y p ᴧ q son simultáneamente falsas, es cuando:
a) Tanto p como q son falsas
b) Tanto p como q son verdaderas
c) p es verdadera, en tanto que q es falsa
d) p es falsa, en tanto que q es verdadera
4.- Si p ᴧ q es una proposición verdadera, entonces es falsa:
a) p v ~q
b) ~p → ~q
c) p ↔ q
d) p v q
5.- Si la proposición p ↔ q es falsa, entonces es verdadera la proposición
a) ~p ↔ ~q
b) p v q
c) q ↔ p
d) p ᴧ q
6.- Una proposición compuesta verdadera en todos los casos se llama:
a) Contingente
b) Conjunción
c) Tautología
d) Condicional
7.- La verdad empírica de una proposición se prueba:
a) Con la experiencia de los hechos
b) Mediante las tablas de verdad
c) examinando su forma lógica
d) Procediendo a sus simbolización
8.- Una contingencia es:
a) Una proposición compuesta verdadera en algunos casos y falsa en otros
b) Una proposición simple de valor veritativo verdadero
c) Una proposición de valor veritativo falso
d) La forma lógica de una proposición simple
9.- Se llama verdad formal a:
a) La negación de una proposición empíricamente verdadera
b) El valor veritativo que se prueba sólo por vía racional
c) La comparación de una proposición con los hechos
d) La negación de proposición empíricamente falsa
10.- Un contradicción es:
a) La negación de una proposición simple
b) Una proposición que puede ser falsa o verdadera, según el caso
c) Una proposición de la que no se sabe su valor veritativo
d) Una proposición compuesta falsa en todos los casos