Tautologas, Contradicciones y Razonamientos Vlidos

Recordemos
O Una expresin lgica es una tautologa si

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

Tautologas
Consideremos la expresin v Q Es esta expresin una tautologa? Para demostrar eso utilizaremos la tabla de verdad.
P 0 0 1 1 Q 0 1 0 1 PQ 0 0 0 1 (PQ) (PQ)v Q 1 1 1 0 1 1 1 1

Vemos algunos Ejemplos

O Ley del medio Excluido

P 0 1

P 1 0

Pv P 1 1

Idea Interesante
O 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. O La expresin resultante ser tambin una tautologa

Ejemplo
O 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 0 0 1 1 Q 0 1 0 1 PQ 0 0 0 1 (PQ ) 1 1 1 0 (PQ) v (PQ) 1 1 1 1

Tautologas y Razonamientos Vlidos

O Un argumento lgico es vlido si la conclusin

se deduce lgicamente de las premisas. O Si todas las premisas son verdaderas (ejemplo, la conjuncin de todas las premisas produce verdadero), entonces la conclusin debe ser verdadera. O 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 0 0 1 1

Q P v Q Q 0 1 0 1 0 0 0 1 1 0 1 0

(P v Q) Q 0 0 0 0

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

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
O Una expresin lgica es una contradiccin

si esta produce falso para todas las combinaciones posibles en la tabla de verdad. O Por ejemplo PP
P 0 1 P 1 0 P P 0 0