Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Reglasdeinferencia
Reglasdeinferencia
Ingeniera
Informatica
Octubre de 2011
Grado en
Ingeniera
Informatica
Definicion
Grado en
Ingeniera
Informatica
Definicion
Definicion
El sistema de deduccion natural de Gentzen es un sistema de
demostracion que denotaremos
G = (A, L, X, R),
donde cada uno de los elementos se describe a continuacion:
Grado en
Ingeniera
Informatica
Alfabeto
Grado en
Ingeniera
Informatica
Alfabeto
Grado en
Ingeniera
Informatica
Alfabeto
Grado en
Ingeniera
Informatica
Alfabeto
Grado en
Ingeniera
Informatica
Alfabeto
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Axiomas
Grado en
Ingeniera
Informatica
Axiomas
Grado en
Ingeniera
Informatica
Axiomas
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Reglas de inferencia
Grado en
Ingeniera
Informatica
Regla de introduccion de la
conjuncion
Grado en
Ingeniera
Informatica
Regla de introduccion de la
conjuncion
(I) : {, } `
Grado en
Ingeniera
Informatica
Regla de introduccion de la
conjuncion
(I) : {, } `
Grado en
Ingeniera
Informatica
Regla de introduccion de la
conjuncion
(I) : {, } `
Grado en
Ingeniera
Informatica
Regla de introduccion de la
conjuncion
(I) : {, } `
( ( ))
es una tautologa
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
conjuncion
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
conjuncion
(E )
`
`
(eliminacion derecha)
(eliminacion izquierda)
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
conjuncion
(E )
`
`
(eliminacion derecha)
(eliminacion izquierda)
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Ejemplo
Usando solo las dos reglas anteriores podemos demostrar que
p (q r) ` p r.
Grado en
Ingeniera
Informatica
Ejemplo
Usando solo 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
(Premisa)
(E (1))
(E (1))
(E (3))
(I (2,4))
Grado en
Ingeniera
Informatica
Regla de introduccion de la
disyuncion
Grado en
Ingeniera
Informatica
Regla de introduccion de la
disyuncion
(I )
` ( )
` ( )
(introduccion derecha)
(introduccion izquierda)
Grado en
Ingeniera
Informatica
Regla de introduccion de la
disyuncion
(I )
` ( )
` ( )
(introduccion derecha)
(introduccion izquierda)
ellas.
Grado en
Ingeniera
Informatica
Un segundo ejemplo de
deduccion
Grado en
Ingeniera
Informatica
Un segundo ejemplo de
deduccion
Ejemplo
Podemos demostrar que
p q ` (p q) (q s).
Grado en
Ingeniera
Informatica
Un segundo ejemplo de
deduccion
Ejemplo
Podemos demostrar que
p q ` (p q) (q s).
1) p q
2) p
3) p q
4) q
5) q s
6) (p q) (q s)
(Premisa)
(E(1))
(I(2))
(E(1))
(I(4))
(I(3,5))
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
disyuncion
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
disyuncion
(E ) : { , , } ` .
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
disyuncion
(E ) : { , , } ` .
`
` ,
ya que de la validez de una disyuncion de dos formulas no se puede
deducir la validez de las dos formulas.
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
` ,
Grado en
Ingeniera
Informatica
` ,
Grado en
Ingeniera
Informatica
Notacion de Fitting
Grado en
Ingeniera
Informatica
Notacion de Fitting
El metodo de demostracion por casos con la notacion de Fitting se
representa como sigue:
Grado en
Ingeniera
Informatica
Notacion de Fitting
El metodo de demostracion por casos con la notacion de Fitting se
representa como sigue:
(Premisa)
(Premisa auxiliar)
..
.
..
.
`
(Premisa auxiliar)
..
.
..
.
`
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
1) p (q r) (Premisa)
2) p (E (1))
3) q r (E (1))
4) q (Premisa auxiliar)
5) p q (I (2, 4))
6) (p q) (p r) (I (5))
7) (p q) (p r)
(E (3, (4 6)))
r (Premisa auxiliar)
p r (I (2, 4))
(p q) (p r) (I (5))
Grado en
Ingeniera
Informatica
Regla de introduccion de la
negacion
Grado en
Ingeniera
Informatica
Regla de introduccion de la
negacion
(I) : { , } ` .
Grado en
Ingeniera
Informatica
Regla de introduccion de la
negacion
(I) : { , } ` .
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Otra deduccion
p ` p
Grado en
Ingeniera
Informatica
Otra deduccion
p ` p
1) p
(Premisa)
2) p
(Premisa auxiliar)
3) p p (I(1, 2))
4) p
(I(2,3))
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
(E) : ` .
Grado en
Ingeniera
Informatica
(E) : ` .
Recordamos que es una tautologa (de hecho son
logicamente equivalentes).
Grado en
Ingeniera
Informatica
Identidad
p`p
Grado en
Ingeniera
Informatica
Identidad
p`p
1) p
(Premisa)
2) p
(Premisa auxiliar)
3) p p (I(1, 2))
4) p
(I(2,3))
5) p
(E(4))
Grado en
Ingeniera
Informatica
p p `
Grado en
Ingeniera
Informatica
p p `
1) p p
(Premisa)
2)
(Premisa auxiliar)
3) p p (1)
4)
(I(2,3))
5)
(E(4))
Grado en
Ingeniera
Informatica
Regla de introduccion de la
implicacion
Grado en
Ingeniera
Informatica
Regla de introduccion de la
implicacion
Para definir esta regla (I ):
Grado en
Ingeniera
Informatica
Regla de introduccion de la
implicacion
Para definir esta regla (I ):
1) se toma una premisa auxiliar ,
Grado en
Ingeniera
Informatica
Regla de introduccion de la
implicacion
Para definir esta regla (I ):
1) se toma una premisa auxiliar ,
2) si se demuestra que de se deduce una formula , entonces se ha
demostrado la validez de .
Grado en
Ingeniera
Informatica
Regla de introduccion de la
implicacion
Para definir esta regla (I ):
1) se toma una premisa auxiliar ,
2) si se demuestra que de se deduce una formula , entonces se ha
demostrado la validez de .
Con la notacion de Fitting (I ) se representa como:
(Premisa auxiliar)
..
.
..
.
`
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
implicacion (tambien Modus
ponens)
Grado en
Ingeniera
Informatica
Regla de eliminacion de la
implicacion (tambien Modus
ponens)
(E ) : {, } ` .
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
Grado en
Ingeniera
Informatica
{ , } `
Grado en
Ingeniera
Informatica
{ , } `
1)
(Premisa)
2)
(Premisa)
3) (Premisa auxiliar)
4) (E(1,3))
5) (E(2,4))
4)
(I(3-5))
Grado en
Ingeniera
Informatica
Modus Tollens
{ , } `
Grado en
Ingeniera
Informatica
Modus Tollens
{ , } `
1)
(Premisa)
2)
(Premisa)
3)
(Premisa auxiliar)
4)
(E(1,3))
5) (I(2,4))
4)
(I(3-5))