Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 419 vistas

    Inferencia Logica

    Cargado por

    caro_17_12
    El documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un mecanismo de derivación que permite derivar nuevas fórmulas a partir de un conjunto inicial de fórmulas llamadas axiomas, utilizando reglas de inferencia. Luego describe algunas reglas de inferencia como el modus ponens y modus tollens, y provee ejemplos de demostraciones utilizando estas reglas. Finalmente, discute conceptos como la deducción proposicional, otras reglas de inferencia como la ley de simplificación, y las pro

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Inferencia Logica

    Cargado por

    caro_17_12
    419 vistas6 páginas
    El documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un mecanismo de derivación que permite derivar nuevas fórmulas a partir de un conjunto inicial de fórmulas llamadas axiomas, utilizando reglas de inferencia. Luego describe algunas reglas de inferencia como el modus ponens y modus tollens, y provee ejemplos de demostraciones utilizando estas reglas. Finalmente, discute conceptos como la deducción proposicional, otras reglas de inferencia como la ley de simplificación, y las pro

    Título original

    inferencia logica

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un mecanismo de derivación que permite derivar nuevas fórmulas a partir de un conjunto inicial de fórmulas llamadas axiomas, utilizando reglas de inferencia. Luego describe algunas reglas de inferencia como el modus ponens y modus tollens, y provee ejemplos de demostraciones utilizando estas reglas. Finalmente, discute conceptos como la deducción proposicional, otras reglas de inferencia como la ley de simplificación, y las pro

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    419 vistas6 páginas

    Inferencia Logica

    Cargado por

    caro_17_12
    El documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un mecanismo de derivación que permite derivar nuevas fórmulas a partir de un conjunto inicial de fórmulas llamadas axiomas, utilizando reglas de inferencia. Luego describe algunas reglas de inferencia como el modus ponens y modus tollens, y provee ejemplos de demostraciones utilizando estas reglas. Finalmente, discute conceptos como la deducción proposicional, otras reglas de inferencia como la ley de simplificación, y las pro

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 6

    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

    También podría gustarte