Escolar Documentos
Profissional Documentos
Cultura Documentos
Octubre de 2011
Denici on
Denici on
Denici on El sistema de deducci on natural de Gentzen es un sistema de demostraci on que denotaremos G = (A, L, X , R), donde cada uno de los elementos se describe a continuaci on:
Alfabeto
Alfabeto
Alfabeto
Alfabeto
Alfabeto
Toda fbc se obtiene mediante las tres reglas anteriores y se simplica como lo hicimos en el cap tulo de sintaxis.
Toda fbc se obtiene mediante las tres reglas anteriores y se simplica como lo hicimos en el cap tulo de sintaxis. NOTA: En lo que se sigue usaremos tambi en el conectivo de doble implicaci on entre dos f ormulas, . Este conectivo se entender a como una forma abreviada de representar la f ormula bien construida ( ) ( ).
Axiomas
Axiomas
Axiomas
X : el conjunto de los axiomas es vac o. Nota: Este sistema quiere modelar la l ogica de modo que no tendr a verdades a priori (no quiere describir objetos). Toda la informaci on sobre nuestra forma de razonar ir a a las reglas de inferencia.
Reglas de inferencia
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): Regla de introducci on de la conjunci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): Regla de introducci on de la conjunci on (E ): Regla de eliminaci on de la conjunci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): Regla de introducci on de la conjunci on (E ): Regla de eliminaci on de la conjunci on (I ): Regla de introducci on de la disyunci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): (E ): (I ): (E ): Regla de introducci on de la conjunci on Regla de eliminaci on de la conjunci on Regla de introducci on de la disyunci on Regla de eliminaci on de la disyunci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): (E ): (I ): (E ): (I ): Regla de introducci on de la conjunci on Regla de eliminaci on de la conjunci on Regla de introducci on de la disyunci on Regla de eliminaci on de la disyunci on Regla de introducci on de la negaci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): (E ): (I ): (E ): (I ): (E ): Regla de introducci on de la conjunci on Regla de eliminaci on de la conjunci on Regla de introducci on de la disyunci on Regla de eliminaci on de la disyunci on Regla de introducci on de la negaci on Regla de eliminaci on de la doble negaci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): (E ): (I ): (E ): (I ): (E ): (I ): Regla de introducci on de la conjunci on Regla de eliminaci on de la conjunci on Regla de introducci on de la disyunci on Regla de eliminaci on de la disyunci on Regla de introducci on de la negaci on Regla de eliminaci on de la doble negaci on Regla de introducci on de la implicaci on
Reglas de inferencia
R : el conjunto R de las reglas de inferencia est a compuesto por las 8 reglas de introducci on y de eliminaci on que se describen a continuaci on:
(I ): (E ): (I ): (E ): (I ): (E ): (I ): (E ): Regla de introducci on de la conjunci on Regla de eliminaci on de la conjunci on Regla de introducci on de la disyunci on Regla de eliminaci on de la disyunci on Regla de introducci on de la negaci on Regla de eliminaci on de la doble negaci on Regla de introducci on de la implicaci on Regla de eliminaci on de la implicaci on (tambi en Modus Ponens)
(I) : {, }
(I) : {, }
(I) : {, }
(I) : {, }
( ( )) es una tautolog a
(E )
(E )
Ejemplo Usando s olo las dos reglas anteriores podemos demostrar que p (q r) p r.
Ejemplo Usando s olo las dos reglas anteriores podemos demostrar que p (q r) p r.
1) p (q r) 2) p 3) q r 4) r 5) p r
(I )
( ) ( )
(I )
( ) ( )
ellas.
1) p q 2) p 3) p q 4) q 5) q s 6) (p q) (q s)
(E ) : { , , }
(E ) : { , , }
, ya que de la validez de una disyunci on de dos f ormulas no se puede deducir la validez de las dos f ormulas.
3) si se ha completado el paso anterior, se usan las subdeducciones obtenidas en la deducci on madre y se obtiene que { , , } .
Notaci on de Fitting
Notaci on de Fitting
El m etodo de demostraci on por casos con la notaci on de Fitting se representa como sigue:
Notaci on de Fitting
El m etodo de demostraci on por casos con la notaci on de Fitting se representa como sigue:
(Premisa)
. . . . . .
(Premisa auxiliar)
. . . . . .
(Premisa auxiliar)
(avanzamos la regla de introducci on de la implicaci on) (avanzamos la regla de introducci on de la implicaci on)
7) (p q) (p r)
(E (3, (4 6)))
(I ) : { , }
(I ) : { , }
Otra deducci on
Otra deducci on
(E) :
(E) :
l ogicamente equivalentes).
Identidad
Identidad
p p
p p
(E ) : {, }
{ , }
{ , }
Modus Tollens
{ , }
Modus Tollens
{ , }