Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 15 vistas

    Ejercicio 2 Unidad 2 Albeiro Pedrozo

    Cargado por

    albeiro pedrozo
    El documento presenta un ejercicio sobre métodos para probar la validez de un argumento, incluyendo generar una tabla de verdad y demostrar la validez mediante leyes de inferencia lógica. Se define un argumento con premisas y conclusión en lenguaje simbólico y luego en lenguaje natural, y se realizan una tabla de verdad manual y con simulador así como una demostración usando leyes lógicas.

    Copyright:

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

    Ejercicio 2 Unidad 2 Albeiro Pedrozo

    Cargado por

    albeiro pedrozo
    15 vistas5 páginas
    El documento presenta un ejercicio sobre métodos para probar la validez de un argumento, incluyendo generar una tabla de verdad y demostrar la validez mediante leyes de inferencia lógica. Se define un argumento con premisas y conclusión en lenguaje simbólico y luego en lenguaje natural, y se realizan una tabla de verdad manual y con simulador así como una demostración usando leyes lógicas.

    Título original

    Ejercicio 2 Unidad 2 Albeiro Pedrozo

    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 un ejercicio sobre métodos para probar la validez de un argumento, incluyendo generar una tabla de verdad y demostrar la validez mediante leyes de inferencia lógica. Se define un argumento con premisas y conclusión en lenguaje simbólico y luego en lenguaje natural, y se realizan una tabla de verdad manual y con simulador así como una demostración usando 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
    15 vistas5 páginas

    Ejercicio 2 Unidad 2 Albeiro Pedrozo

    Cargado por

    albeiro pedrozo
    El documento presenta un ejercicio sobre métodos para probar la validez de un argumento, incluyendo generar una tabla de verdad y demostrar la validez mediante leyes de inferencia lógica. Se define un argumento con premisas y conclusión en lenguaje simbólico y luego en lenguaje natural, y se realizan una tabla de verdad manual y con simulador así como una demostración usando 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
    de 5

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

    CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

    Tarea 4 - Estudiar las temáticas de la Unidad 2


    Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
    proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,
    cuantificadores.

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

    Presentado por:
    Albeiro Pedrozo Villarruel

    Grupo: 200611D 614

    PRESENTADO A:
    José Alfonso Olaya

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


    Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios.
    -Noviemmbre-2019

    1
    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
    CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

    DESARROLLO DEL CONTENIDO DEL TRABAJO:

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

    Descripción del ejercicio:

    A. Expresión simbólica:
    [ ( p ∨ q ) ∧ ( p →r ) ∧ ( q → r ) ∧ ( ¬ p →¬ r ) ]⟶ p
    Premisas:
    P1: p ∨q
    P2: p →r
    P3: q → r
    P4: ¬ p → ¬r

    Conclusión: p

    A partir de la expresión simbólica seleccionada, el estudiante deberá:

     Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
    en un contexto.

    p. estudio ingeniería en Sistema


    q. Seré un buen estudiante
    r. un gran profesional

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

    Si estudio ingeniería en sistema O seré un buen estudiante Y estudio ingeniería en sistema


    ENTONCES un gran profesional Y seré un buen estudiante ENTONCES un gran profesional
    Y NO estudio ingeniería en Sistema ENTONCES NO un gran profesional ENTONCES
    estudio ingeniería en Sistema.

    2
    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
    CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

     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 r ¬p ¬r (pvq)

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

    Resultado de la tabla de verdad: TAUTOLOGÍA.

    3
    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
    CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

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

    P1: p ∨q
    P2: p →r
    P3: q → r
    P4: ¬ p → ¬r

    Conclusion: p

    P5: r MP 2
    P6: r MP 3
    P7: p LA 1
    P8: q LA 1
    P9: p TT 4
    P10: r MP 2,9
    P11: p TT 4,9

    4
    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
    CURSO DE PENSAMIENTO LÓGICO Y MATEMÁTICO

    Referencias

    Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78


    - 99). Ediciones Elizcom, Madrid.

    También podría gustarte