MARA DE JESS GMEZ BEAS INTELIGENCIA ARTIFICIAL 8SM INGENIERA EN SISTEMAS COMPUTACIONALES REGLAS DE INFERENCIA 24 / marzo / 2012

REGLAS DE INFERENCIA
O Una regla de inferencia es un esquema

para construir inferencias vlidas.

O Son

esquemas formales para derivar formulas bien formadas (conclusiones) a partir de otras (premisas).

O Utilizadas para justificar la validez de un

argumento lgico.

Premisas
O Son proposiciones simples o compuestas:
O

pvq p q p ~p pq () (p v q)(~r s)

Conclusin
O Es una proposicin simple o compuesta,

que se obtiene a partir de las premisas y de la aplicacin de las reglas de inferencia.

1 Regla: Modus Ponendo Ponens (PP)

O Modus Ponens o regla de separacin.
O Del latn: Mtodo de afirmacin" o

Afirmando afirmo. O Se expresa mediante implicacin lgica: O ((pq)p)q o tambin: p q La condicional (), dice, que si el antecedente (p) se afirma, p necesariamente se afirma el .: q consecuente (q)

Ej: Modus Ponendo Ponens (PP)

O p q O Si Alejandro se casa, es porque consigui un

O p
O .: q

prstamo. O Alejandro consigui el prstamo. O Por tanto, Alejandro se casar.

NOTA: El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto

2 Regla: Tollendo Tollens (TT)

O Mtodo de la negacin o negando,

niego y es una propiedad inversa de los condicionales.

O Expresada: ((pq)~q)~p

tambin: p q ~q .: ~p

Negamos la conclusin para obtener la negacin del antecedente.

Ej: Tollendo Tollens (TT)

O p q
O ~q O .:~ q

Si llueve, entonces las calles se mojan. Las calles no se mojan. Luego no llueve.

O Si de un condicional, aparece el consecuente

negado (el efecto), se niega el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.

3 Regla: Doble Negacin (DN)

O Doble negacin: establece que si un

enunciado esta doblemente negado, equivaldra al anunciado afirmado. O Expresada: ~ ~p p O p doblemente negada equivale a p. ~ ~ q No ocurre que Juan no toma el autobs para ir a la escuela .: q
Juan toma el autobs para ir a la escuela.

4 Regla: Adjuncin y Simplificacin

O Adjuncin (A): Si hay dos enunciados afirmados como dos premisas

separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin).
p Juan es cocinero q Pedro es polica __________________________ p q Juan es cocinero y Pedro es polica
O

Simplificacin (S): es la operacin inversa de la conjuncin. Si hay un enunciado formado por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por separado.

pq Tengo una manzana y tengo una pera ________________________________________ ____ p Tengo una manzana q Tengo una pera

5 Regla: Modus Tollendo Ponens (TP)

O Negando

afirmo: si un miembro de una disyuncin es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado.

O La disyuncin (v), representa una eleccin entre dos enunciados

O pvq
O ~q O .:~ q

He ido al cine o me he ido de compras No he ido de compras Por tanto, he ido al cine

6 Regla: Ley De La Adicin (LA)

O Un enunciado cualquiera, se puede expresar

como una eleccin (disyuncin) acompaado por cualquier otro enunciado.

a avb He comprado manzanas He comprado manzanas o he comprado peras

7 Regla: Silogismo Hipottico (SH)

O Dadas tres premisas, dos de ellas implicaciones, y la 3 una

disyuncin cuyos miembros sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones.
pq Si llueve, entonces las calles se mojan r s Si la tierra tiembla, los edificios se caen p V r Llueve o la tierra tiembla _______________________________________________ _____ q V s Las calles se mojan o los edificios se caen

8 Regla: Simplificacin Disyuntiva (SD)

O Si hay dos premisas con dos implicaciones con el mismo

consecuente, y sus antecedentes se corresponden con los dos miembros de una disyuncin, podemos concluir con el consecuente de ambas implicaciones.
pV q pr qr r Helado de fresa o helado de vainilla Si tomas helado de fresa, entonces repites Si tomas helado de vainilla, entonces repites Luego, repites

9 Regla: Ley Conmutativa

O Esta ley, no es vlida para la implicacin, pero s para

conjuncin y para la disyuncin.

O Una conjuncin es afirmar que se dan dos cosas a la

vez, de modo que el orden de sus elementos no cambia este hecho.

O Una disyuncin es presentar una eleccin entre dos

cosas, sin importar en qu orden se presente esta eleccin. O Ej. O pqqp p y q equivale a q y p
O

pVqqVp

p q equivale a q p

10 Regla: Leyes De Morgan (DM)

O Permite transformar una disyuncin en una conjuncin, y

viceversa, es decir, una conjuncin en una disyuncin.

O

Cuando se pasa de una a otra, se cambian los valores de afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto.
pq ___________ pVq ____________ (p q)

(p V q)

Internet y fuentes:
O http://www.slideshare.net/rescalantec/inferencia-

lgica O http://es.scribd.com/doc/12759714/Capitulo-2Reglas-de-inferencia-logica-falacias-y-errores-enel-razonamiento O http://www.juntadeandalucia.es/averroes/emiliopra dos/filosof/Logica/Reglas%20de%20inferencia.htm O http://es.wikipedia.org/wiki/Inferencia