MLM 1000 - Matematica Discreta

L. Dissett
Clase 03 Reglas de inferencia. Sistemas deductivos.
c Luis Dissett V. P.U.C. Chile, 2003
Aspectos administrativos
Ayudantas Este tema esta pendiente (aun no tengo ayudante jefe).
Pagina web http://www.mat.puc.cl/~ldissett/iic2252, a contar del n de
semana.
c Luis Dissett. 1 P.U.C. Chile, 2003
Reglas de inferencia
Queremos enunciar reglas que nos permitan justicar nuestras deducciones de
conclusiones a partir de premisas dadas.
As, por ejemplo, al hacer una demostracion del tipo
(p
1
p
2
. . . p
n
) c,
nos gustara poder a segurar que la implicacion es valida (logicamente verdadera),
sin tener que probar todas las combinaciones de valores de verdad (que pueden ser
demasiados).
Estudiaremos a continuacion reglas de inferencia que nos permitiran ir obte-
niendo conclusiones a partir de un conjunto de premisas, de modo de terminar
obteniendo la conclusion deseada.
En lo que sigue, P, Q, R, etc., representan proposiciones cualesquiera, no
necesariamente at omicas.
c Luis Dissett. 2 P.U.C. Chile, 2003
Las reglas
Las primeras reglas de inferencia que consideraremos estan dadas por las
equivalencias que aparecen en las leyes de la logica, a las que posiblemente
habremos aplicado las reglas de sustitucion.
As, si tenemos como premisa P y una ley de la logica nos dice que P Q,
entonces podemos deducir Q.
Otras reglas que estudiaremos son:
La ley del silogismo.
Modus Ponens, o metodo de la armaci on.
Modus Tollens, o metodo de la negacion.
La regla de resolucion.
c Luis Dissett. 3 P.U.C. Chile, 2003
Mas reglas
Otras reglas de inferencia que consideraremos son:
La regla de conjuncion.
La ley del silogismo disyuntivo.
La regla de contradiccion.
La regla de simplicacion conjuntiva.
La regla de amplicacion disyuntiva.
La regla de demostracion condicional .
La regla de demostracion por casos.
La regla del dilema constructivo.
La regla del dilema destructivo.
c Luis Dissett. 4 P.U.C. Chile, 2003
Ley del silogismo
Cada vez que tengamos como premisas proposiciones de las formas P Q y
Q R, tenemos derecho a deducir P R.
En smbolos:
P Q
Q R
P R
c Luis Dissett. 5 P.U.C. Chile, 2003
Modus ponens
Cada vez que tengamos como premisas proposiciones de las formas P Q y
P, tenemos derecho a deducir Q.
En smbolos:
P Q
P
Q
Ejemplo. Supongamos que tenemos por premisas (p q) y ((p q) (q r)).
Aplicando modus ponens, vemos que
(p q) (q r)
(p q)
(q r)
c Luis Dissett. 6 P.U.C. Chile, 2003
Modus tollens
Cada vez que tengamos como premisas proposiciones de las formas P Q y
Q, tenemos derecho a deducir P.
En smbolos:
P Q
Q
P
Ejemplo. Supongamos que tenemos por premisas (p q) r y r. Aplicando
modus tollens, vemos que
(p q) r
r
(p q)
c Luis Dissett. 7 P.U.C. Chile, 2003
Regla de conjuncion
Cada vez que tengamos como premisas proposiciones de las formas P y Q,
tenemos derecho a deducir P Q.
En smbolos:
P
Q
P Q
c Luis Dissett. 8 P.U.C. Chile, 2003
Ley del silogismo disyuntivo
Cada vez que tengamos como premisas proposiciones de las formas P Q y
P, tenemos derecho a deducir Q.
En smbolos:
P Q
P
Q
c Luis Dissett. 9 P.U.C. Chile, 2003
Regla de contradicci on
Cada vez que tengamos como premisa una proposicion de la forma P F
o
,
tenemos derecho a deducir P.
En smbolos:
P F
o
P
c Luis Dissett. 10 P.U.C. Chile, 2003
Regla de simplicaci on conjuntiva
Cada vez que tengamos como premisa una proposicion de la forma P Q,
tenemos derecho a deducir P.
En smbolos:
P Q
Q
c Luis Dissett. 11 P.U.C. Chile, 2003
Regla de amplicaci on disyuntiva
Cada vez que tengamos como premisa una proposicion de la forma P, tenemos
derecho a deducir P Q.
En smbolos:
P
P Q
c Luis Dissett. 12 P.U.C. Chile, 2003
Regla de demostraci on condicional
Cada vez que tengamos como premisas proposiciones de las formas P Q y
P (Q R), tenemos derecho a deducir R.
En smbolos:
P Q
P (Q R)
R
c Luis Dissett. 13 P.U.C. Chile, 2003
Regla de demostraci on por casos
Cada vez que tengamos como premisas proposiciones de las formas P R y
Q R, tenemos derecho a deducir (P Q) R.
En smbolos:
P R
Q R
(P Q) R
c Luis Dissett. 14 P.U.C. Chile, 2003
Regla del dilema constructivo
Cada vez que tengamos como premisas proposiciones de las formas P Q,
R S y P R, tenemos derecho a deducir Q S.
En smbolos:
P Q
R S
P R
Q S
c Luis Dissett. 15 P.U.C. Chile, 2003
Regla del dilema destructivo
Cada vez que tengamos como premisas proposiciones de las formas P Q,
R S y Q S, tenemos derecho a deducir P R.
En smbolos:
P Q
R S
Q S
P R
c Luis Dissett. 16 P.U.C. Chile, 2003
Sistemas deductivos
Llamamos sistema deductivo a cualquier conjunto de reglas (de entre las
mencionadas, u otras) que, agregadas a las leyes de la logica, nos permitan deducir
conclusiones a partir de premisas.
Entre las caractersticas que nos interesa que tenga un posible sistema deductivo
se destacan dos:
(a) Que sea correcto (solido, sensato; en ingles, sound), o sea, que cualquier
conclusion que se obtenga a partir de las premisas deba ser, necesariamente,
consecuencia logica de estas (o sea, que no sea posible deducir nada que no
sea consecuencia logica de las premisas);
(b) Que sea completo, o sea, que si es consecuencia l ogica de las premisas,
entonces puede ser deducido de estas.
c Luis Dissett. 17 P.U.C. Chile, 2003
Ejemplo de uso de las reglas
Consideremos el sistema deductivo formado por todas las reglas enunciadas
anteriormente.
Las usemos para demostrar que
p q
es consecuencia logica de
{p (r q), r q, q r} .
c Luis Dissett. 18 P.U.C. Chile, 2003
El argumento:
p (r q) Premisa (1)
r q Premisa (2)
q r Premisa (3)
r q Simplicacion conjuntiva, 1 (4)
(r q) (r q) Regla de conjunci on, 2 y 4 (5)
(r r) q Ley distributiva, 5 (6)
q Elemento neutro, 6 (7)
p q Amplicacion disyuntiva, 7 (8)
p q Ley de la implicacion, 5 (9)
c Luis Dissett. 19 P.U.C. Chile, 2003
Otro ejemplo
Usemos este mismo sistema deductivo para demostrar que
q r
es consecuencia logica de
{p, p q, s r, s t} .
c Luis Dissett. 20 P.U.C. Chile, 2003
El argumento
p Premisa (10)
p q Premisa (11)
q Modus Ponens, 10 y 11 (12)
s r Premisa (13)
s r Ley de la doble negacion, 13 (14)
s r Ley de la implicacion, 14 (15)
s t Premisa (16)
s Simplicacion conjuntiva, 16 (17)
r Modus ponens, 15 y 17 (18)
q r Regla de conjunci on, 12 y 18 (19)
c Luis Dissett. 21 P.U.C. Chile, 2003
Resoluci on
Un sistema deductivo muy importante en Inteligencia Articial es el formado
por la unica regla de resolucion:
Cada vez que tengamos como premisas proposiciones de las formas P Q y
Q R, tenemos derecho a deducir P R.
En smbolos:
P Q
Q R
P R
Este sistema deductivo es solido y completo (no lo demostraremos aqu), y no
solo puede ser usada para deducir sino tambien para refutar.
c Luis Dissett. 22 P.U.C. Chile, 2003