Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 13 vistas

    Ejercicio3 Unidad 3 - Maira Martínez.

    Cargado por

    osnaider acuña

    Copyright:

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

    Ejercicio3 Unidad 3 - Maira Martínez.

    Cargado por

    osnaider acuña
    13 vistas4 páginas

    Título original

    Ejercicio3 unidad 3 _ Maira Martínez.

    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?

    Copyright:

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

    Ejercicio3 Unidad 3 - Maira Martínez.

    Cargado por

    osnaider acuña

    Copyright:

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

    Ejercicio3 _ unidad 3 _ Maira Martínez.

    Ejercicio 3: Problemas de aplicación.

    A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un


    argumento para el desarrollo del ejercicio 3:

    a. Expresión simbólica: [ ( p →q ) ∧ ( q → r ) ∧ ( r → s ) ] → ( p → s )

    Premisas:

    P1: p →q
    P2: q → r
    P3: r → s
    Conclusión: p → s

    Definir las proposiciones simples.

    p: la unad una universidad publica

    p: Maira estudia psicología.

    r: la unad ofrece distinto programas virtuales

    s: Maira estudia virtual.

    Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

    Si la unad una universidad pública entonces Maira estudia psicología y si Maira estudia
    psicología entonces la unad ofrece distinto programas virtuales y la unad ofrece distinto
    programas virtuales entonces Maira estudia virtual. Por lo la unad una universidad pública
    entonces Maira estudia virtual.
    Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
    simbólico
    Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
    Excel o foto del desarrollo manual).

    [ ( p →q ) ∧ ( q → r ) ∧ ( r → s ) ] → ( p → s )
    p q r S p →q q → r ( p →q ) ∧ ( q → r ) r → s [ ( p →q ) ∧ ( q → r ) ∧p( →
    r →s s ) ]

    V V V V V V V V V V V
    V V V F V V V F F F V

    V V F V V F F V F V V
    V V F F V F F V F F V
    V F V V F V F V F V V
    V F V F F V F F F F V
    V F F V F V F V F V V
    V F F F F V F V F F V
    F V V V V V V V V V V
    F V V F V V V F F V V
    F V F V V F F V F V V
    F V F F V F F V F V V
    F F V V V V V V V V V
    F F V F V V V F F V V
    F F F V V V V V V V V
    F F F F V V V V V V V

    La tabla es una tautología.

    Leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre la


    validez del argumento, recuerde que para aplicar leyes de inferencia debe haber obtenido
    como resultado una tautología en la tabla de verdad)
    Premisas:

    P1: p →q
    P2: q → r
    P3: r → s
    Conclusión: p → s

    P4: P →r (SH P1 P2)

    P5: q → S (SH – P2 P3)

    P6: p → s (SH P1 P5)

    Es valido

    También podría gustarte