Escolar Documentos
Profissional Documentos
Cultura Documentos
Dante Zanarini
LCC
1 de Septiembre de 2014
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
1 / 22
Demostraciones
Observaci
on: Una prueba de no garantiza que sea valida Por
que?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
2 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
3 / 22
Calculo de secuentes
Deducci
on Natural
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
4 / 22
Secuentes
Definicion (Secuente)
Un secuente es una expresi
on de la forma
`
donde es una proposicion, y un conjunto de proposiciones.
Intentaremos que un secuente tenga el siguiente significado:
Hay una prueba (o derivaci
on) de cuyas hipotesis (no
descartadas) pertenecen a
Veremos mas adelante que quiere decir no descartadas
Mediante reglas, iremos definiendo el conjunto de secuentes validos
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
5 / 22
La regla trivial
DN (Regla Trivial)
Sea una proposicion, entonces
Regla de Secuente
Para todo par , , el siguiente secuente es valido:
, `
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
6 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
7 / 22
DN (Introduccion de la Conjuncion)
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
7 / 22
DN (Introduccion de la Conjuncion)
Regla de Secuente
Si ` y ` son secuentes validos, entonces tambien lo es el secuente
` .
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
7 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
8 / 22
DN (Eliminacion de la Conjuncion 1 )
e1
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
8 / 22
DN (Eliminacion de la Conjuncion 1 )
e1
Regla de Secuente
Si ` es un secuente valido, entonces tambien lo es el secuente
` .
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
8 / 22
DN (Eliminacion de la Conjuncion 2 )
e2
Regla de Secuente
Si ` es un secuente valido, entonces tambien lo es el secuente
` .
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
9 / 22
Arboles
de Derivacion
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
10 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
11 / 22
premisa
e1 (1)
e2 (1)
i (3), (2)
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
11 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
12 / 22
DN (Eliminacion de la Implicacion)
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
12 / 22
DN (Eliminacion de la Implicacion)
Regla de Secuente
Si ` y ` son secuentes validos, entonces tambien lo es el
secuente ` .
Veamos unos ejemplos
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
12 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
13 / 22
DN (Introduccion de la implicancia)
[]
..
..
En forma de secuente:
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
13 / 22
DN (Introduccion de la implicancia)
[]
..
..
En forma de secuente:
Regla de Secuente
Si el secuente {} ` es valido, tambien lo es `
Veamos unos ejemplos
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
13 / 22
Disyuncion
Introducci
on, o Como se prueba un ?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
14 / 22
Disyuncion
Introducci
on, o Como se prueba un ?
DN (Introduccion de la disyuncion, 1 y 2)
i1
L
ogica Proposicional, Deducci
on Natural
i2
1 de Septiembre de 2014
14 / 22
Disyuncion
Introducci
on, o Como se prueba un ?
DN (Introduccion de la disyuncion, 1 y 2)
i1
i2
Regla de Secuente
1
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
14 / 22
Disyuncion
Eliminaci
on, o Que puedo derivar a partir de ?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
15 / 22
Disyuncion
Eliminaci
on, o Que puedo derivar a partir de ?
DN (Eliminacion de la disyuncion)
C
omo se completa esta regla?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
15 / 22
Disyuncion
Eliminaci
on, o Que puedo derivar a partir de ?
DN (Eliminacion de la disyuncion)
[]1
..
..
[]2
..
..
e (1)(2)
C
omo se completa esta regla?
Regla de Secuente
Si los secuentes {} ` y {} ` son validos, tambien lo es el
secuente { } ` .
Veamos unos ejemplos
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
15 / 22
Reglas para
Eliminaci
on Que pasa si conozco ?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
16 / 22
Reglas para
Eliminaci
on Que pasa si conozco ?
I
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
16 / 22
Reglas para
Eliminaci
on Que pasa si conozco ?
I
DN (Eliminacion de )
Regla de Secuente
Si el secuente ` es valido, tambien lo es ` , para cualquier
proposicion
Veamos unos ejemplos
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
16 / 22
Reglas para
Introducci
on Como pruebo ?
Si nuestras reglas intentan preservar el valor de verdad de las
proposiones, tiene sentido probar ?
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
17 / 22
Reglas para
Introducci
on Como pruebo ?
Si nuestras reglas intentan preservar el valor de verdad de las
proposiones, tiene sentido probar ?
S, siempre que nuestras premisas sean contradictorias!
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
17 / 22
Reglas para
Introducci
on Como pruebo ?
Si nuestras reglas intentan preservar el valor de verdad de las
proposiones, tiene sentido probar ?
S, siempre que nuestras premisas sean contradictorias!
DN (Introduccion de )
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
17 / 22
Reglas para
Introducci
on Como pruebo ?
Si nuestras reglas intentan preservar el valor de verdad de las
proposiones, tiene sentido probar ?
S, siempre que nuestras premisas sean contradictorias!
DN (Introduccion de )
Regla de Secuente
Si los secuentes ` y ` son validos, entonces tambien lo es el
secuente `
Ejemplos!!
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
17 / 22
Introducci
on Como pruebo ?
DN (Introduccion de la negacion)
[]
..
..
En forma de secuente:
Regla de Secuente
Si el secuente {} ` es valido, tambien lo es el secuente ` .
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
18 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
19 / 22
Regla de Secuente
Si el secuente ` es valido, tambien lo es el secuente `
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
19 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
20 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
20 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
20 / 22
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
20 / 22
Reglas derivadas
DN (Modus Tollens)
MT
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
21 / 22
Reglas derivadas
Las otras reglas derivadas son las siguientes:
DN (Reduccion al Absurdo)
[]
..
..
RAA
DN (Tercero Excluido)
TND
L
ogica Proposicional, Deducci
on Natural
1 de Septiembre de 2014
22 / 22