Tautologas, Contradicciones y

Razonamientos Vlidos

Recordemos
Una expresin lgica es una tautologa si
es
verdadera
para
todas
las
combinaciones posibles en una tabla de
verdad.
Una expresin lgica es una contradiccin
si es falsa para todas las asignaciones
posibles en una tabla de verdad.
Una expresin lgica es una contingencia
si no es ni una tautologa ni una
contradiccin.

Tautologas

P
V

Q
V

PQ
V

(PQ)
F

(PQ)v Q
V

Vemos algunos Ejemplos

P
V

P
F

PvP
V

Idea Interesante
Si A es una tautologa que contiene a la
variable P, se puede crear una nueva
expresin
sustituyendo
todas
las
apariciones de P por una expresin
arbitraria.
La expresin resultante ser tambin una
tautologa

Ejemplo
Supongamos

que tenemos la expresin

PQ
Tomemos como ejemplo la ley del medio
excluido
Es decir
PvP
De lo expuesto en la idea anterior la
expresin
(P Q) v (P Q)
Ser tambin una tautologa.

Probemos
P

PQ

(PQ) (PQ) v (PQ)

Tautologas y Razonamientos Vlidos

Un argumento lgico es vlido si la
conclusin se deduce lgicamente de las
premisas.
Si todas las premisas son verdaderas
(ejemplo, la conjuncin de todas las premisas
produce verdadero), entonces la conclusin
debe ser verdadera.
Si la conjuncin de las premisas es A y si la
conclusin es C, entonces A C debe ser
verdadera para todas las asignaciones
posibles, esto es, debe ser una tautologa.

Ejemplo
Estudiemos el siguiente razonamiento
Premisa 1: Jos estuvo en la iglesia a la hora
indicada o Jos miente.
Premisa 2: Jos no miente.
Conclusin: Jos estuvo en la iglesia a la hora
indicada.

En la primera premisa existen dos

proposiciones simples:
P : Jos estuvo en la iglesia a la hora indicada
Q: Jos miente
Esa premisa en lenguaje de lgica
proposicional la podemos escribir
PvQ

Tomando como base lo anterior el

razonamiento completo lo podemos
escribir de la siguiente manera segn la
lgica proposicional
Premisa 1: P v Q
Premisa 2: Q
Conclusin: P
Es esta una forma de razonamiento vlida?

Segn lo planteado esta es una forma de

razonamiento valida, si la conjuncin de las
premisas implicacin la conclusin es una
tautologa.
Es decir, si la expresin

((P v Q) Q) P
Es una tautologa

P Q P v Q Q

(P v Q) Q ((P v Q) Q ) P

Por lo tanto al ser esto una tautologa el razonamiento es

valido.
QED

Ejercicio
Muestre utilizando la forma expuesta
anteriormente, si el siguiente es un
razonamiento vlido

Si no me despierto, no puedo ir a la fiesta.

Si no voy a la fiesta, no me divertir.
Entonces, si no me despierto no me
divertir.

Contradicciones
Una

expresin lgica es una contradiccin

si esta produce falso para todas las
combinaciones posibles en la tabla de
verdad.
Por ejemplo
PP
P
V
F

P
F
V

PP
F
F

Ideas Importantes
Las contradicciones estn estrechamente
relacionadas con las tautologas. De hecho si
A es una tautologa A es una contradiccin
y viceversa.
Como las tautologas las contradicciones
pueden convertirse en esquemas.- Esto
significa por ejemplo que
(P Q) (P Q)
Es una contradiccin porque sigue el
esquema
P P

Uso para demostracin de Validez

Las contradicciones pueden utilizarse
para demostrar que los argumentos
lgicos son validos.
Para esto, observemos que un argumento
no puede ser valido si todas las premisas
son verdaderas pero la conclusin es
falsa.

En otras palabras, es imposible que la negacin

de la conclusin y de las premisas sean
verdaderas simultneamente. Por lo tanto, la
conjuncin de las premisas con la negacin de la
conclusin debe ser siempre falsa, es decir, debe
ser una contradiccin.
Para esto utilicemos el mismo ejemplo:
Demostremos que el siguiente razonamiento es
valido:
Premisa 1: Jos estuvo en la iglesia a la hora indicada o
Jos miente.
Premisa 2: Jos no miente.
Conclusin: Jos estuvo en la iglesia a la hora indicada.

En la primera premisa existen dos

proposiciones simples:
P : Jos estuvo en la iglesia a la hora indicada
Q: Jos miente
Esa premisa en lenguaje de lgica
proposicional la podemos escribir
PvQ

Tomando como base lo anterior el

razonamiento completo lo podemos
escribir de la siguiente manera segn la
lgica proposicional
Premisa 1: P v Q
Premisa 2: Q
Conclusin: P
Es esta una forma de razonamiento vlida?

Segn lo planteado esta es una forma de

razonamiento valida, si la conjuncin de las
premisas conjuncin la negacin de la
conclusin es una contradiccin.
Es decir, si la expresin

((P v Q) Q) P
Es una contradiccin

Q P v Q Q

(P v Q) Q

P ((P v Q) Q ) P

Por lo tanto al ser esto una contradiccin el razonamiento es

valido.
QED

Ejercicio
Muestre utilizando la forma expuesta
anteriormente, si el siguiente es un
razonamiento vlido

Si no me despierto, no puedo ir a la fiesta.

Si no voy a la fiesta, no me divertir.
Entonces, si no me despierto no me
divertir.

PREGUNTAS
Y
RESPUESTA