Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 59 vistas

    Demostraciones Actividad 2

    Cargado por

    Mayte Zavala
    El documento presenta dos demostraciones lógicas que deben realizarse. La primera es demostrar la proposición "q ∧ ~r" a partir de las premisas "(p ᴝ q)", "(r ᴝ s)" y "(p ∧ ~s)". La segunda es demostrar "q ∧ p" a partir de las premisas "(~s ∧ ~r)", "(s ∨ q)" y "(r ∨ p)". El documento también explica la importancia de aprender las reglas de inferencia lógica.

    Copyright:

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

    Demostraciones Actividad 2

    Cargado por

    Mayte Zavala
    59 vistas2 páginas
    El documento presenta dos demostraciones lógicas que deben realizarse. La primera es demostrar la proposición "q ∧ ~r" a partir de las premisas "(p ᴝ q)", "(r ᴝ s)" y "(p ∧ ~s)". La segunda es demostrar "q ∧ p" a partir de las premisas "(~s ∧ ~r)", "(s ∨ q)" y "(r ∨ p)". El documento también explica la importancia de aprender las reglas de inferencia lógica.

    Título original

    demostraciones actividad 2.docx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta dos demostraciones lógicas que deben realizarse. La primera es demostrar la proposición "q ∧ ~r" a partir de las premisas "(p ᴝ q)", "(r ᴝ s)" y "(p ∧ ~s)". La segunda es demostrar "q ∧ p" a partir de las premisas "(~s ∧ ~r)", "(s ∨ q)" y "(r ∨ p)". El documento también explica la importancia de aprender las reglas de inferencia lógica.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    59 vistas2 páginas

    Demostraciones Actividad 2

    Cargado por

    Mayte Zavala
    El documento presenta dos demostraciones lógicas que deben realizarse. La primera es demostrar la proposición "q ∧ ~r" a partir de las premisas "(p ᴝ q)", "(r ᴝ s)" y "(p ∧ ~s)". La segunda es demostrar "q ∧ p" a partir de las premisas "(~s ∧ ~r)", "(s ∨ q)" y "(r ∨ p)". El documento también explica la importancia de aprender las reglas de inferencia lógica.

    Copyright:

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

    B@UNAM

    Bachillerato a distancia B@GTO


    BGTO1800092
    ASESOR: Elvia del Carmen Ramos Dávila
    ALUMNA: María Teresa Zavala Soto
    MATERIA: Lógica para la Solución de Problemas
    UNIDAD: 4 ACTIVIDAD: 2
    FECHA: 10/10/19

    Actividad 2. Demostraciones
    Una vez revisado y analizado el material en donde se exponen las reglas de inferencia y de haber
    realizado los ejercicios que se presentan para comprender su sentido, deberás aplicar estas reglas
    para demostrar la proposición que se solicita.

    Es muy importante que tengas claro cuál es tu objetivo; es decir, qué es lo que se desea demostrar,
    y después de analizar bien las proposiciones dadas, a partir de las cuales debes llegar a tu
    demostración, deberás aplicar las reglas de inferencia que conocemos, señalando correctamente la
    regla que se está aplicando y en qué renglones, tal y como se practicó.

    Demostrar: q ∧ ~r

    1. (p ᵙ q)
    2. (r ᵙ s)
    3. (p ∧ ~ s)

    Demostrar: q ∧ p

    1. (~s ∧ ~ r)
    2. (s ∨ q)
    3. (r ∨ p)

    ¿Para qué me sirve aprender las reglas de inferencia?

    Como te señalamos desde el principio, el objetivo de enseñarte las reglas no es sólo que las
    memorices, sino que las entiendas, y con ello seas capaz de identificar cuándo dichas estructuras
    están presentes en tu vida diaria (al dialogar, al escuchar radio, ver televisión o cine, al leer el
    periódico o un libro), y a su vez, para que seas capaz de usarlas en los contextos adecuados
    (cuando argumentas o realizas un ensayo).
    Actividad 2. Demostraciones

    Demostrar: q ∧ ~r

    1. (p ᵙ q)
    2. (r ᵙ s)
    3. (p ∧ ~ s)
    4. ( q ) SIM 3
    5. ( q ) MPP 1,4
    6. ( ~ s ) SIM 3
    7. (~ r ) MTT 2,7
    8. (q ^ ~ r ) CONJ. 5,7

    Demostrar: q ∧ p

    1. (~s ∧ ~ r)
    2. (s ∨ q)
    3. (r ∨ p)
    4. ~s sim 1
    5. ~ r sim 1
    6. q MTP 2,4
    7. p MTP 3,5
    8. q ^ p CONJ 6,7

    También podría gustarte