Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 11 vistas

    Ejercicio 2 Marlon Bertel

    Cargado por

    Marlon Bertel

    Copyright:

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

    Ejercicio 2 Marlon Bertel

    Cargado por

    Marlon Bertel
    11 vistas2 páginas

    Título original

    Ejercicio_2_Marlon_Bertel

    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
    11 vistas2 páginas

    Ejercicio 2 Marlon Bertel

    Cargado por

    Marlon Bertel

    Copyright:

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

    Ejercicio numero 2

    Expresión simbólica: [(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)


    Premisas:
    P1: 𝑝 → 𝑞
    P2: 𝑞 → 𝑟
    P3: 𝑝⋀𝑠
    Conclusión: 𝒓
    Proposiciones simples:
    P: Maria estudia derecho
    Q: Maria es buena en logica matematica
    R: Maria pasa el examen
    S: Maria gana el semestre

    Lenguaje Natural
    Maria estudia derecho, entonces es buena en logica matematica. Si es buena en logica
    matematica, entonces Maria pasa el examen. Si Maria estudia derecho y gana el semestre,
    entonces Maria pasa el examen.
    Tabla de verdad
    Tabla de verdad manual
    p q r s 𝑝→𝑞 𝑞→𝑟 𝑝⋀𝑠 [(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)
    T T T T T T T T
    T T T F T T F T
    T T F T T F T T
    T T F F T F F T
    T F T T F T T T
    T F T F F T F T
    T F F T F T T T
    T F F F F T F T
    F T T T T T F T
    F T T F T T F T
    F T F T T F F T
    F T F F T F F T
    F F T T T T F T
    F F T F T T F T
    F F F T T T F T
    F F F F T T F T

    Demostracion de validez de argumentos


    Premisas:
    P1: 𝑝 → 𝑞
    P2: 𝑞 → 𝑟
    P3: 𝑝⋀𝑠

    P4: 𝑝 → 𝑟 Silojismo hipotetico en P1 y P2


    P5: 𝑝 Ley de simplificacion en P3
    P6: 𝑟 Ley modus ponendo ponens en P4 y P5

    También podría gustarte