Beruflich Dokumente
Kultur Dokumente
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
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
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
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