Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 28 vistas

    Clase 12 - MD

    Cargado por

    Edith Melchor
    El documento presenta un resumen de la tercera sesión de Matemática Discreta. Se explican ejemplos de resolución de ejercicios utilizando reglas de inferencia como modus ponens y modus tollens. También se muestra la resolución de un problema utilizando varias premisas y reglas de inferencia. Finalmente, se enlaza un video sobre el tema.

    Copyright:

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

    Clase 12 - MD

    Cargado por

    Edith Melchor
    28 vistas41 páginas
    El documento presenta un resumen de la tercera sesión de Matemática Discreta. Se explican ejemplos de resolución de ejercicios utilizando reglas de inferencia como modus ponens y modus tollens. También se muestra la resolución de un problema utilizando varias premisas y reglas de inferencia. Finalmente, se enlaza un video sobre el tema.

    Descripción original:

    ok

    Título original

    Clase 12_MD

    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?

    El documento presenta un resumen de la tercera sesión de Matemática Discreta. Se explican ejemplos de resolución de ejercicios utilizando reglas de inferencia como modus ponens y modus tollens. También se muestra la resolución de un problema utilizando varias premisas y reglas de inferencia. Finalmente, se enlaza un video sobre el tema.

    Copyright:

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

    Clase 12 - MD

    Cargado por

    Edith Melchor
    El documento presenta un resumen de la tercera sesión de Matemática Discreta. Se explican ejemplos de resolución de ejercicios utilizando reglas de inferencia como modus ponens y modus tollens. También se muestra la resolución de un problema utilizando varias premisas y reglas de inferencia. Finalmente, se enlaza un video sobre el tema.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 41

    TERCERA SESIÓN

    MATEMÁTICA DISCRETA

    Mg. Rocio Vargas Navarro


    PROPÓSITO
    • Resuelve ejercicios de utilizando reglas de
    inferencia
    Resuelve ejercicios utilizando
    reglas de inferencia
    2
    2
    3
    3
    4
    4
    5
    6
    https://www.youtube.com/watch?v=GFA_FNlB7c0
    Si llueve entonces leeré un libro;
    está lloviendo. Así pues leeré el libro

    P: llueve P1: 𝑝 → 𝑞
    q: leer un libro P2: p
    ∴ q
    P1: 𝑝 → 𝑞
    P2: p
    ∴ q 𝑝 →𝑞 ˄𝑝 →𝑞

    p q 𝒑→𝒒 ˄ 𝒑 𝒒
    →
    V V V V V V V
    V F F F V V F
    F V V F F V V
    F F V F F V F
    Si llueve entonces leeré un libro; no
    leeré el libro. Por lo tanto no está
    lloviendo
    P1: 𝑝 → 𝑞
    P: llueve
    P2: ~𝑞
    q: leer un libro
    ∴ ~p
    P1: 𝑝 → 𝑞
    P2: ~𝑞
    ∴ ~p
    𝑝 → 𝑞 ˄ ~𝑞 → ~ 𝑝

    p q 𝒑→𝒒 ˄ ~𝑞 ~𝑝
    →
    V V V F F V F
    V F F F V V F
    F V V F F V V
    F F V V V V V
    Si llueve entonces leeré un libro; Si
    leo el libro entonces me quedaré en
    casa. Por lo tanto Si llueve entonces
    me quedaré en casa.
    P: llueve P1: 𝑝 → 𝑞
    q: leer un libro P2: 𝑞 → 𝑟
    r: quedarse en ∴ 𝑝 →r
    casa
    REGLAS DE INFERENCIA
    REGLAS DE INFERENCIA
    REGLAS DE INFERENCIA
    REGLAS DE INFERENCIA
    REGLAS DE INFERENCIA
    REGLAS DE INFERENCIA
    https://www.youtube.com/watch?v=jdU3zTkfBRQ
    1
    1

    ∴
    {[(𝑝˄𝑞) → 𝑟] ˄ [ (q →r) →s] ˄p} →s
    1

    P5 y P3
    P𝟏 ∶ P6: 𝒔
    P2 ∶
    P5 ∶ 𝐩 → 𝒔
    P3 ∶
    P3∶ 𝐩
    ∴ P𝟏 ∴𝒔
    P4 ∶ 𝐩 → (𝒒 → 𝒓)
    P4 y P2

    P4 ∶ 𝐩 → (𝒒 → 𝒓)
    P2
    P5 ∶ 𝐩 → 𝒔 ∴𝐩→𝒔
    2 .
    .
    .
    2 .
    .
    .

    P𝟏 ∶ 𝒑→𝒒
    P𝟐: ~𝒓 → 𝒑
    P3: ~𝒒
    ∴𝒓
    {[𝑝 → 𝐪] ˄ [~r→p ] ˄ ~q} → r
    2
    P𝟏 ∶𝒑→𝒒 P5 ∶ 𝒓 P𝟐 y P4

    P𝟐: ~𝒓 → 𝒑
    P3: ~𝒒

    ∴𝒓 P𝟐: ~𝒓 → 𝒑
    P4 ∶ ~𝒑
    ∴ ~~𝒓
    P4 ∶ ~𝒑 P𝟏 y P3
    𝒓

    P1 ∶ 𝐩 → 𝒒
    P3 ∶ ~𝒒
    ∴ ~𝒑
    3
    Planteamiento
    p: La tormenta continua
    q: anochece
    r: quedarnos a cenar
    𝒑 ∪ 𝒒 → (𝒓 ∪ 𝒔)
    s: quedarnos a dormir
    t: ir mañana al concierto (𝒓 ∪ 𝒔) → ~𝒕
    𝒕
    ∴ ~𝒑
    Solución
    1. 𝑝 ∪ 𝑞 → (𝑟 ∪ 𝑠) Premisa
    2. (𝑟 ∪ 𝑠) → ~𝑡 Premisa
    3. 𝑡 Premisa
    4. ~𝒑 Conclusión
    5. 𝒑 ∪ 𝒒 → ~𝒕 silogismo Hipotético 1 y 2
    𝑝 ∪ 𝑞 → (𝑟 ∪ 𝑠)
    (𝑟 ∪ 𝑠) → ~𝑡
    ∴ 𝒑 ∪ 𝒒 → ~𝒕
    6. ~ 𝒑 ∪ 𝒒 Modus Tollens 5 y 3
    𝑝 ∪ 𝑞 → ~𝑡
    t
    ∴ ~(𝒑 ∪ 𝒒)
    7.~𝒑 ∩ ~𝒒 Ley de morgan 6
    ~ 𝒑 ∪ 𝒒 ≡ ~𝒑 ∩ ~𝒒

    8.~𝒑 Simplificación 7
    ~𝑝 ∩ ~𝑞
    ∴ ~p
    4
    4
    4

    ∴
    4

    ∴
    :2
    4: 𝑝

    2: p ˄ r
    ∴p
    4

    ∴ :4 𝑦 1
    4: 𝑝
    5: 𝑞
    4: p
    1: p → 𝑞
    ∴q
    4

    ∴ :3 𝑦 5
    4: 𝑝
    5: 𝑞
    𝟔: ~𝒔 3: s → ~𝑞
    5: 𝑞
    ∴ ~𝒔

    También podría gustarte