Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 68 vistas

    Ejercicio 2 Unidad 4 Adalberto Mercado

    Cargado por

    Adalberto Mercado Castro
    Este documento presenta un ejercicio sobre métodos para probar la validez de un argumento. Describe una expresión simbólica con premisas y conclusión, y propone que el estudiante realice las siguientes tareas: 1) definir proposiciones simples, 2) construir el razonamiento en lenguaje natural, 3) generar una tabla de verdad manual o con simulador, 4) demostrar la validez mediante leyes lógicas.

    Copyright:

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

    Ejercicio 2 Unidad 4 Adalberto Mercado

    Cargado por

    Adalberto Mercado Castro
    68 vistas3 páginas
    Este documento presenta un ejercicio sobre métodos para probar la validez de un argumento. Describe una expresión simbólica con premisas y conclusión, y propone que el estudiante realice las siguientes tareas: 1) definir proposiciones simples, 2) construir el razonamiento en lenguaje natural, 3) generar una tabla de verdad manual o con simulador, 4) demostrar la validez mediante leyes lógicas.

    Descripción original:

    tedasg

    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 ejercicio sobre métodos para probar la validez de un argumento. Describe una expresión simbólica con premisas y conclusión, y propone que el estudiante realice las siguientes tareas: 1) definir proposiciones simples, 2) construir el razonamiento en lenguaje natural, 3) generar una tabla de verdad manual o con simulador, 4) demostrar la validez mediante leyes lógicas.

    Copyright:

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

    Ejercicio 2 Unidad 4 Adalberto Mercado

    Cargado por

    Adalberto Mercado Castro
    Este documento presenta un ejercicio sobre métodos para probar la validez de un argumento. Describe una expresión simbólica con premisas y conclusión, y propone que el estudiante realice las siguientes tareas: 1) definir proposiciones simples, 2) construir el razonamiento en lenguaje natural, 3) generar una tabla de verdad manual o con simulador, 4) demostrar la validez mediante leyes lógicas.

    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 3

    Ejercicio 2: Métodos para probar la validez de un argumento

    Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de


    Conocimiento (Unidad 3), la siguiente referencia:
     Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
    computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

    Una vez realizada la lectura, desarrolle el ejercicio propuesto.

    Descripción del ejercicio:


    A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
    argumento para el desarrollo del ejercicio 2.: Ejercicio C
    C. Expresión simbólica:
    [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝
    Premisas:
     P1:𝑝 ∨ 𝑞
     P2: 𝑝 → 𝑟
     P3: 𝑞 → 𝑟
     P4: ¬𝑝 → ¬𝑟
    Conclusión: 𝑝
    Solución:
     Proposiciones simples: (se define cada proposición simple del argumento, siempre en
    afirmativo y con letras en minúscula).

    P: Ana estudia contaduría pública


    q: Ana hace parte del grupo de investigacion
    r: El grupo de investigacion lo conforman estudiantes de la UNAD
     Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores y el
    lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje formal o
    natural)

    [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝


    Ana estudia contaduría pública o hace parte de la investigación, si Ana estudia contaduría
    pública, entonces el grupo de investigacion lo conforman estudiantes de la UNAD, si Ana
    hace parte del grupo de investigación entonces el grupo de investigación lo conforman
    estudiantes de la UNAD, Ana no estudia contaduría pública. entonces El grupo de
    investigacion no lo conforman estudiantes de la UNAD, entonces Ana estudia contaduría
    pública.

     Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
    simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
    Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
    de acceso al recurso)
     Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
    Excel o foto del desarrollo manual).
    2𝑛 = 23 = 2 ∗ 2 ∗ 2 = 8
    p q r [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝

    v v v v
    v v f v
    v f v v
    v f f v
    f v v v
    f v f v
    f f v v
    f f f v

     Demostración de la validez del argumento mediante las leyes de la inferencia


    lógica.
    Como resultado una tautología
     P1:𝑝 ∨ 𝑞
     P2: 𝑝 → 𝑟
     P3: 𝑞 → 𝑟
     P4: ¬𝑝 → ¬𝑟
    Conclusión: 𝑝
     P5: ⟶ 𝑝 adición P2

    También podría gustarte