Lgica

Propiedades metalgicas de las nociones de consecuencia

! / "
Profesor: Eduardo Barrio
UBA - Filosofa
2do cuatrimestre de 2013
Qu propiedades tiene la nocin clsica de consecuencia lgica?
Metateorema de la deduccin:
Si ! # {A} ! B ! ! (A "B).
El Metateorema de la Deduccin:
Si ! # {A} ! B ! ! (A "B).
Probar que existe una derivacin de n pasos de
! ! (A "B).
Derivacin de B desde ! # {A } : 1 paso
! # {A } : 1 paso
B
B es Ax o es A o est en !
El Metateorema de la Deduccin:
Caso 1: B es un axioma de SP
La siguiente es una derivacin de (A " B) a partir de !
Prueba:
1.- B Axioma de SP, por Hip.
2.- (B "(A "B)) Axioma, por SP1
3.- (A " B) MP 1 y 2
El Metateorema de la Deduccin:
Caso 2: B est en !
La siguiente es una derivacin de (A " B) a partir de !
Prueba:
1.- B Miembro de ! por Hip.
2.- (B "(A "B)) Axioma, por SP1
3.- (A " B) MP 1 y 2
El Metateorema de la Deduccin:
Caso 3: B es A
La siguiente es una derivacin de (A " B) a partir de !
Prueba:
Por lo tanto, (A " B) # (A " A). Luego, la siguiente es una derivacin
de (A " B) a partir de !:
1. (A "((A "A)"A)) Axioma, por SP1
2. ((A "((A "A)"A))"((A "(A "A))"(A "A)))
Axioma, por SP2
3. ((A "(A "A))"(A "A)) MP1,2
4. (A " (A " A)) Axioma, por SP1
5. (A"A) MP3,4
El Metateorema de la Deduccin:
Si ! # {A} ! B ! ! (A "B).
Probar que existe una derivacin de n pasos de
! ! (A "B).
Derivacin de B desde ! # {A } : k pasos
! # {A } : k pasos
...
B
B es Ax o es A o est en ! o se obtiene por MP
El Metateorema de la Deduccin:
Paso Inductivo:
Hiptesis inductiva: Si existe una derivacin de B a partir de !#{A} en
un nmero de pasos menor a k ! ! (A "B).
Tesis inductiva: Si existe una derivacin de B a partir de ! # {A } en
un nmero k de pasos ! ! (A "B).
El Metateorema de la Deduccin:
Caso nuevo: B se obtiene como consecuencia de dos frmulas
anteriores en la derivacin, por MP.
Sean Ci y Cj las frmulas anteriores, donde i y j indican el lugar que
ocupan en la derivacin de B a partir de ! # A y, por ende, i < k y j < k.
Luego, una de ellas debe tener forma condicional, tal que su
antecedente est constituido por la otra y su consecuente por B. Sin
perdida de generalidad diremos que:
Ci # (Cj "B)
Entonces, ! # A ! (Cj "B) y ! # A ! Cj.
Como i < k y j < k, por hiptesis inductiva tenemos que
! ! (A " (Cj " B)) y
! ! (A " Cj).
El Metateorema de la Deduccin:
Caso 4: B se obtiene como consecuencia de dos frmulas anteriores
en la derivacin, por MP.
La siguiente es una derivacin de (A " B) a partir de !:
1 (A"(Cj"B))
2 (A"Cj)
3 ((A "(Cj "B))"((A "Cj)"(A "B))) Axioma,por SP2
4 ((A "Cj)"(A "B)) MP1,3
5 (A"B) MP 2,4
El Metateorema de la Deduccin:
Luego, por el Principio de Induccin Matemtica Completa,
tenemos que,
Para cualquier natural n, si existe una derivacin de B a partir de
! # {A} en n pasos, entonces (A " B) es derivable de !
o, lo que es lo mismo, si ! # {A} ! B, entonces ! ! (A " B).
El Metateorema de Correccin:
!A " A
Prueba:
- Los axiomas son lgicamente vlidos.
- El MP preserva la verdad
Las demostraciones preservan la verdad
Prueba por induccin:

Para todo nmero natural n, el enunciado demostrado en una demostracin de n
pasos es una frmula lgicamente vlida.
El Metateorema de Correccin:
!A " A
Estrategia de la Prueba por induccin:

Caso Base: Para demostraciones de 1 paso, el
enunciado demostrado lgicamente vlido.

Paso inductivo: Si el teorema vale para
demostraciones de un largo menor a k pasos, tambin
vale para una demostracin de k pasos.
Hiptesis inductiva: un enunciado demostrado en una
demostracin de longitud menor a k es una frmula
lgicamente vlida.
Tesis inductiva: un enunciado demostrado en una
demostracin de longitud k es una frmula lgicamente
vlida.
El Metateorema de Consistencia Simple:
$ A y A
Estrategia de la Prueba por Absurdo:
Suponer que hay una A tal que !A y ! A
Usar correccin: " A y " A
Absurdo!