Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 102 vistas

    Ejercicio 3 Unidad 3

    Cargado por

    Luisa Huertas
    Este documento presenta un problema lógico formalizado simbólicamente como {[p → (q ∧ r)] ∧ (q ∧ r)} → p. Se determinan las premisas P1: p → (q ∧ r) y P2: (q ∧ r). Luego se traducen las proposiciones a un contexto sobre un estudiante Camilo. Finalmente, se genera una tabla de verdad que muestra que la expresión es una tautología.

    Copyright:

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

    Ejercicio 3 Unidad 3

    Cargado por

    Luisa Huertas
    102 vistas3 páginas
    Este documento presenta un problema lógico formalizado simbólicamente como {[p → (q ∧ r)] ∧ (q ∧ r)} → p. Se determinan las premisas P1: p → (q ∧ r) y P2: (q ∧ r). Luego se traducen las proposiciones a un contexto sobre un estudiante Camilo. Finalmente, se genera una tabla de verdad que muestra que la expresión es una tautología.

    Descripción original:

    Título original

    ejercicio 3 unidad 3

    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?

    Este documento presenta un problema lógico formalizado simbólicamente como {[p → (q ∧ r)] ∧ (q ∧ r)} → p. Se determinan las premisas P1: p → (q ∧ r) y P2: (q ∧ r). Luego se traducen las proposiciones a un contexto sobre un estudiante Camilo. Finalmente, se genera una tabla de verdad que muestra que la expresión es una tautología.

    Copyright:

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

    Ejercicio 3 Unidad 3

    Cargado por

    Luisa Huertas
    Este documento presenta un problema lógico formalizado simbólicamente como {[p → (q ∧ r)] ∧ (q ∧ r)} → p. Se determinan las premisas P1: p → (q ∧ r) y P2: (q ∧ r). Luego se traducen las proposiciones a un contexto sobre un estudiante Camilo. Finalmente, se genera una tabla de verdad que muestra que la expresión es una tautología.

    Copyright:

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

    Ejercicio 3: Problemas de aplicación

    Expresión simbólica:

    E. Expresión simbólica: {[ p → ( q ∧r ) ] ∧ ( q ∧r ) }→ p

    Determinación de Premisas:
    P1: p → ( q ∧ r )
    P2:( q ∧ r )

    Conclusión: p

    Desarrollo:

     Proposiciones simples:

    p: Camilo estudia en la UNAD

    q: Camilo presenta trabajos de la UNAD

    r: Camilo obtiene buenas calificaciones

     Razonamiento en lenguaje natural:

    Si camilo estudia en la UNAD entonces no presenta trabajos de la UNAD Y


    NO obtiene buenas calificaciones. Camilo presenta trabajos Y obtiene buenas
    calificaciones, POR ENDE, Camilo NO estudia en la UNAD.
    p q r p (q ∧ r) (q ∧r ) ¿ {[ p → (q ∧r )] ∧( q ∧r ) } {[ p → ( q ∧r ) ]∧ ( q ∧r ) }→ p

    V V V F V F F F V

    V V F F F V V F V

    V F V F F V V F V

    V F F F F V V F V

    F V V V V F V V V

    F V F V F V V F V

    F F V V F V V F V

    F F F V F V V F V

    Generar tabla de verdad manualmente:

     Resultado de la tabla de verdad: TAUTOLOGÍA.


     Generar la tabla de verdad con el simulador Lógica UNAD:

    Leyes de inferencia:

    P1: p → ( q ∧ r )
    P2:( q ∧ r )

    Conclusión: p

    P3: q simplificación I, premisa 2

    P4: r simplificación I, premisa 2

    P5: p MTT, premisas 1 y 4

    También podría gustarte