Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 78 vistas

    Elementos de Inferencia para El Cálculo Proposicional

    Cargado por

    Marina Gutierrez
    1. Se ha robado un botín y los sospechosos son Andy, Bill y Carl. 2. Solo una persona está implicada además de los sospechosos. 3. Carl nunca trabaja sin A y Bill no sabe conducir.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Elementos de Inferencia para El Cálculo Proposicional

    Cargado por

    Marina Gutierrez
    78 vistas22 páginas
    1. Se ha robado un botín y los sospechosos son Andy, Bill y Carl. 2. Solo una persona está implicada además de los sospechosos. 3. Carl nunca trabaja sin A y Bill no sabe conducir.

    Descripción original:

    Notas Estructuras Discretas

    Título original

    Elementos de inferencia para el cálculo proposicional

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    1. Se ha robado un botín y los sospechosos son Andy, Bill y Carl. 2. Solo una persona está implicada además de los sospechosos. 3. Carl nunca trabaja sin A y Bill no sabe conducir.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    78 vistas22 páginas

    Elementos de Inferencia para El Cálculo Proposicional

    Cargado por

    Marina Gutierrez
    1. Se ha robado un botín y los sospechosos son Andy, Bill y Carl. 2. Solo una persona está implicada además de los sospechosos. 3. Carl nunca trabaja sin A y Bill no sabe conducir.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 22

    1.

    Lógica proposicional y
    cálculo de predicados
    1.4 Elementos de inferencia para el cálculo proposicional
    Introducción
    • Se ha robado un importante botín. El criminal (o criminales) se dio (dieron) a
    la fuga en un coche. Scotland Yard decide interrogar a tres sospechosos,
    Andy, Bill y Carl, y consigue determinar los hechos siguientes:

    1. En el robo no está implicada ninguna otra persona salvo A, B o C.


    2. C nunca trabaja sin llevar a A (y es posible que otros) como cómplice.
    3. B no sabe conducir.

    • ¿Es Andy culpable o inocente?


    Argumentos lógicos
    • H1. Este programa de computadora tiene un error, o la entrada es
    errónea
    • H2. La entrada no es errónea
    • C. Este programa de computadora tiene un error

    • H1. 𝑃 ∨ 𝑄
    • H2. ¬𝑃
    • C. 𝑄
    Razonamiento válido

    • Para que el razonamiento sea válido, 𝐻1 ∧ 𝐻2 ∧


    𝐻3 ∧ ⋯ ∧ 𝐻𝑛 ⇒ 𝐶 debe ser una tautología.

    • En caso contrario el razonamiento no es válido


    1.4.1 Método basado en tablas de verdad
    Procedimiento

    • Se sustituye el símbolo de implicación ⇒ por el conector


    lógico →

    • Se construye la tabla de verdad con las hipótesis y la


    conclusión
    Ejemplo
    (𝑃 ∨ 𝑄) ∧ ¬𝑃 ⇒ 𝑄
    𝑃 𝑄 (𝑃 ∨ 𝑄) ∧ ¬𝑃 → 𝑄
    V V
    V F
    F V
    F F
    Ejemplo
    (𝑃 ∨ 𝑄) ∧ ¬𝑃 ⇒ 𝑄
    𝑃 𝑄 (𝑃 ∨ 𝑄) ∧ ¬𝑃 → 𝑄
    V V F V V
    V F F V F
    F V V V V
    F F F V F
    Ejercicio

    •𝑃 → 𝑃→𝑅 ⇒ 𝑃→𝑄 → 𝑃→𝑅

    • (𝑃 → 𝑄) ∧ (𝑄 → 𝑅) ⇒ 𝑅
    1.4.2 Método de deducción paso a paso
    Implicaciones tautológicas
    𝑃∧𝑄 ⇒𝑃 Simplificación
    𝑃∧𝑄 ⇒𝑄 Simplificación
    𝑃 ⇒𝑃∨𝑄 Adición
    𝑄 ⇒𝑃∨𝑄 Adición
    ¬𝑃 ⇒ 𝑃 → Q Adición
    𝑄⇒𝑃→Q Adición
    𝑃, 𝑄 ⇒ 𝑃 ∧ 𝑄 Conjuntividad
    Implicaciones tautológicas
    ¬(𝑃 → 𝑄) ⇒ 𝑃 Simplificación
    ¬(𝑃 → 𝑄) ⇒ ¬𝑄 Simplificación
    ¬𝑃, 𝑃 ∨ 𝑄 ⇒ 𝑄 Modus Tollendo Ponens, MTP,
    Silogismo Disyuntivo
    𝑃, 𝑃 → 𝑄 ⇒ 𝑄 Modus Ponendo Ponens, MPP, Modus
    Ponens, MP
    ¬𝑄, 𝑃 → 𝑄 ⇒ ¬𝑃 Modus Tollendo Tollens, MTT, Modus
    Tollens, MT
    𝑃 → 𝑄, 𝑄 → 𝑅 ⇒ 𝑃 → 𝑅 Transitividad de la condicional,
    Silogismo Hipotético
    𝑃 ∨ 𝑄, 𝑃 → 𝑅, 𝑄 → 𝑅 ⇒ 𝑅 Dilema
    Reglas del MDPP

    • Regla P sirve para meter una premisa


    • Regla T sirve para implicar tautológicamente a una o
    varias expresiones obtenidas y para encontrar
    expresiones equivalentes (Eq)
    • Utilizar instancia de sustitución en las implicaciones
    tautológicas
    Ejemplo

    • Si llueve mucho, el viaje se volvería difícil. Si los


    estudiantes llegan a tiempo, entonces viajar no fue
    difícil. Los estudiantes llegaron a tiempo. Por lo
    tanto, no llovió mucho.
    Ejemplo

    • P: Llueve mucho
    • Q: El viaje es difícil
    • R: Los estudiantes llegaron a tiempo
    Ejemplo

    • 𝐻1: 𝑃 → 𝑄
    • 𝐻2: 𝑅 → ¬𝑄
    • 𝐻3: 𝑅
    • 𝐶: ¬𝑃
    Ejemplo
    Paso Fórmula proposicional Regla
    1 𝑃→𝑄 P, H1
    2 ¬𝑄 → ¬𝑃 T, 1, Eq
    3 𝑅 → ¬𝑄 P, H2
    4 𝑅 → ¬𝑃 T,2, 3, Silogismo
    hipotético
    5 𝑅 P, H3
    6 ¬𝑃 T,4, 5, Modus Ponens
    Ejercicio

    • 𝐻1: 𝑃 → 𝑄
    • 𝐻2: 𝑄 → ¬𝑅
    • 𝐻3: 𝑅
    • 𝐻4: 𝑃 ∨ 𝑊 ∧ 𝑆
    • 𝐶: 𝑊 ∧ 𝑆
    Ejercicio

    • Construir el razonamiento y demostrar que es válido

    • Si no llueve o si no hay problemas de tráfico, entonces


    habrá deportes y programas culturales. Si hay deportes,
    el trofeo será entregado. El trofeo no fue entregado. Por
    lo tanto, llovió.
    Ejercicio

    • 𝐻1: 𝑃 ∨ 𝑄
    • 𝐻2: 𝑃 ∨ 𝑄 → ¬𝑅
    • 𝐻3: ¬𝑅 → 𝑆 ∧ ¬𝑊
    • 𝐻4: 𝑆 ∧ ¬𝑊 → 𝐴 ∨ 𝐵
    • 𝐶: 𝐴 ∨ 𝐵
    Ejercicio

    • Demuestre que el siguiente grupo de premisas es inconsistente

    • Si Diana se titula, irá a buscar trabajo


    • Si busca un trabajo, pronto se casará
    • Si opta por seguir estudiando, no se casará
    • Diana se titula y opta por seguir estudiando
    Referencias

    • ZALDIVAR ESQUIVEL, Orlando, ZALDIVAR ZAMORATEGUI, Orlando


    Estructuras discretas. Lógica proposicional y cálculo de predicados
    México UNAM, Facultad de Ingeniería, 2011
    • VEERARAJAN, T.
    Matemáticas discretas con teoría de gráficas y combinatoria
    México McGraw-Hill Interamericana, 2008

    También podría gustarte