CORPORATIVO INTERNACIONAL UNIVERSITARIO

INFERENCIA LOGICA
Carolina Leyva Arciniega
Segundo cuatrimestre

INFERENCIA LOGICA
La inferencia lgica es un mecanismo de derivacin sintctica que a partir de un conjunto dado de frmulas permite derivar nuevas frmulas, utilizando operaciones que se denominan reglas de inferencia. El conjunto inicial de frmulas son sentencias vlidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas de inferencia constituyen lo que Frege denomina un sistema formal. Mediante la inferencia lgica, es posible demostrar frmulas sin necesidad de considerar interpretacin alguna. Una prueba ser una derivacin en el sistema formal, y la utilidad de la misma surgir de ciertas propiedades de las reglas de inferencia, llamadas de completitud, que sern presentadas ms adelante.

REGLAS DE INFERENCIA Y DEMOSTRACIN

Reglas de inferencia x Papel de las reglas de inferencia en los mtodos demostrativos y generadoras de conocimiento semejantes a operadores en espacios de estados por Ejemplo de regla de inferencia Regla del modus ponens: F!G F G Premisas y conclusin de la regla Instancias de la regla Llueve! mojado Llueve Mojado Mojado! resbaladizo Ventajas e inconvenientes de los mtodos demostrativos: Ventajas: * Demostraciones ms cortas que tablas de verdad * Facilidad de comprender las demostraciones * Generalizables a primer orden Inconvenientes: * Dicultad en encontrar la prueba Regla de inferencia adecuada: P remisas j= Conclusin Demostraciones

Ejemplo elemental de demostracin Argumento: Si ayer fue lunes, hoy es martes. Si hoy Es martes, maana ser mircoles. Ayer fue lunes. Por tanto, maana ser mircoles. Demostracin: 1: Ayer lunes! hoy martes Premisa 2: Hoy martes! maana mircoles Premisa 3: ayer lunes Premisa 4: hoy martes MP 1,3 5: maana mircoles MP 4,2 Ejemplo elemental de demostracin Argumento: Si sale cara, yo gano. Si sale cruz, t no ganas. Sale cruz. Por tanto, yo gano Demostracin: 1: Cara! gano Premisa 2: Cruz! : Ganas Premisa 3: cruz Premisa 4: cara $: cruz Premisa 5: ganas $: gano Premisa 6: ganas 7: Gano! ganas 8: gano 9: gano

DEDUCCIN PREPOSICIONAL
En lugar de deduccin preposicional es deduccin proposicional, aunque un nombre ms general podra ser inferencia. O La inferencia es un procediendo para obtener conclusiones, hay tres tipos de inferencia: Por induccin, por deduccin y por abduccin. Por induccin es de lo particular a lo general, esto es de muchas observaciones concluir una regla general. Por deduccin es de lo general a lo particular, esto es de un regla general se concluye un caso particular. Por abduccin de particular a particular o de general a general.

OTRAS REGLAS DE INFERENCIA

En un clculo lgico, las reglas de inferencia o reglas de transformacin son aquellos esquemas formales que nos permiten derivar unas frmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminacin del Condicional:
AB A ______ B

nos permite derivar la frmula p v q de las frmulas p (p v q) y p. Las reglas de inferencia no deben confundirse con las leyes lgicas o tautologas, puesto que stas no pertenecen al metalenguaje del clculo. Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y matemticas y al final una serie de reglas que se utilizan para la inferencia deductiva. La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva. Ver Inferencia. De los cuatro tipos de inferencia sealados anteriormente, en matemticas y computain solamente se acepta el deductivo para demostraciones formales; Ver Deduccin. Por esta rezn se denominan Reglas de Inferencia Deductiva
MPP Modus ponendo ponens AB A ----B MTTModus tollendo tollens AB B ----A SD Silogismo Disyuntivo A B A ----B SH Silogismo hipottico AB BC ----AC LS Ley de simplificacin A B ----A LA Ley de adicin A ----A B CONTRAPOSITIVA AB ----B A

PREPOSICIONES BICONDICIONALES
Las proposiciones bicondicionales llevan la conjuncin compuesta ... s y slo si..., o sus expresiones equivalentes como cuando y slo cuando Ejemplos: a) Es fundamentalista si y slo si es talibn. b) Habr cosecha cuando y slo cuando llueva. c) Si apruebo el examen de admisin, entonces y slo entonces ingresar a la universidad. Las proposiciones bicondicionales se caracterizan porque establecen dos condicionales, pero de sentido inverso. Por ejemplo, la proposicin bicondicional el tringulo es equiltero si y slo si tiene tres lados iguales establece dos condicionales de sentido inverso: si es tringulo equiltero, entonces tiene tres lados iguales y si el tringulo tiene tres lados iguales, entonces es equiltero. En toda proposicin bicondicional el antecedente es condicin necesaria y suficiente del consecuente y el consecuente es condicin necesaria y suficiente del antecedente

BIBLIOGRAFA
Genesereth, M.R. Computational Logic (27 March 2000) Cap. 4 Proposicional proofs Nilsson, N.J. Inteligencia articial (Una nueva sntesis) (McGrawHill, 2000) Cap. 13 El clculo proposicional