Escolar Documentos
Profissional Documentos
Cultura Documentos
P1, P2, Pn se conocen como premisas o hiptesis y Q se conoce como conclusin o tesis.
Argumento vlido: Un argumento es vlido si la conclusin es verdadera para todas las interpretaciones verdaderas de las premisas. Q es una consecuencia lgica de las premisas, P1, P2, Pn Ejemplo: Si Martn se casa, entonces Florinda se tira al tren. Florinda se tira al tren siempre y cuando Martn no se haga cura. Por lo tanto, si Martn se casa, entonces no se hace cura. Proposiciones: P : Martn se casa. Q : Florinda se tira al tren. R : Martn se hace cura. Argumento: ( (PQ) (QR) ) (PR)
La conclusin es consecuencia lgica (C.L.) porque la conclusin es verdadera para todas las interpretaciones verdaderas de las premisas.
Inteligencia Artificial I Ejemplo: Demostrar que P es consecuencia lgica de P Q y Q a) Usando Tablas de Verdad
Q P Q PQ Q (PQ) (Q (PQ))P
b) Usando equivalencias
Frmula (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P Q (P Q) P ((Q P) (Q Q)) P ((Q P) ) P (Q P) P Q (P P) Q
Regla de Equivalencia Implicacin Implicacin Ley de Morgan Doble Negacin Ley de Morgan Eliminando parntesis Distributiva Complemento Identidad Asociativa Complemento Dominacin
Inteligencia Artificial I 2.5.2.- Reglas de Inferencia Del ejemplo se tiene que P es consecuencia lgica de P Q y Q Se dice que si P Q y Q son verdaderas, entonces se puede derivar o inferir P Entonces si las premisas P Q y Q existen, entonces P existe y puede considerarse una regla. Se puede escribir: Premisa: Premisa: Conclusin: PQ Q ----------- P
Esta regla se conoce como Regla de Negacin o Modus Tollens. Ejemplo: 1) 2) 3) RS S R Modus Tollens de 1) y 2)
Inteligencia Artificial I
Inteligencia Artificial I Ejemplo: Demostrar que (PR) es C.L. De (PQ) (QR) Como no existen reglas de inferencia para equivalencias, entonces se sustituye por dos implicaciones 1) PQ 2) QR 3) RQ 4) PR Silogismo hipottico de 1) y 2)