Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 41 vistas

    Ejercicio 3 Unidad 3 - Monica Celis

    Cargado por

    Monica Celis Ariza
    Este documento presenta un ejercicio de clasificación y validación de argumentos lógicos. Proporciona la expresión simbólica de un argumento con premisas P1, P2 y P3 y conclusión ¬r. Explica las proposiciones p, q, r y s involucradas y traduce el argumento al lenguaje natural. Luego, genera tablas de verdad manual y con simulador para verificar que el argumento es válido. Finalmente, demuestra su validez aplicando las reglas de inferencia Simplificación y Tollendo Tollens

    Copyright:

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

    Ejercicio 3 Unidad 3 - Monica Celis

    Cargado por

    Monica Celis Ariza
    41 vistas4 páginas
    Este documento presenta un ejercicio de clasificación y validación de argumentos lógicos. Proporciona la expresión simbólica de un argumento con premisas P1, P2 y P3 y conclusión ¬r. Explica las proposiciones p, q, r y s involucradas y traduce el argumento al lenguaje natural. Luego, genera tablas de verdad manual y con simulador para verificar que el argumento es válido. Finalmente, demuestra su validez aplicando las reglas de inferencia Simplificación y Tollendo Tollens

    Título original

    ejercicio 3 unidad 3_monica celis

    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 de clasificación y validación de argumentos lógicos. Proporciona la expresión simbólica de un argumento con premisas P1, P2 y P3 y conclusión ¬r. Explica las proposiciones p, q, r y s involucradas y traduce el argumento al lenguaje natural. Luego, genera tablas de verdad manual y con simulador para verificar que el argumento es válido. Finalmente, demuestra su validez aplicando las reglas de inferencia Simplificación y Tollendo Tollens

    Copyright:

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

    Ejercicio 3 Unidad 3 - Monica Celis

    Cargado por

    Monica Celis Ariza
    Este documento presenta un ejercicio de clasificación y validación de argumentos lógicos. Proporciona la expresión simbólica de un argumento con premisas P1, P2 y P3 y conclusión ¬r. Explica las proposiciones p, q, r y s involucradas y traduce el argumento al lenguaje natural. Luego, genera tablas de verdad manual y con simulador para verificar que el argumento es válido. Finalmente, demuestra su validez aplicando las reglas de inferencia Simplificación y Tollendo Tollens

    Copyright:

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

    Tarea 3 – Clasificación de proposiciones categóricas y Métodos para probar validez

    de argumentos

    Mónica Celis Ariza


    Código: 1002674420
    Pensamiento lógico y matemático
    Grupo: 462
    Tutor:
    Yady Milena Camacho

    Universidad Nacional Abierta y a Distancia-UNAD-Vicerrectoría de Servicios a


    Aspirantes Estudiantes y Egresados-VISAE
    Programa: Psicología

    Pauna Boyacá
    09-04-2020
    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:

    d).

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

    Premisas:
    P1: r →¬ q
    P2: p ∨ s
    P3:q ∧ p

    Conclusión ¬ r

     Proposiciones simples
    p: Las derivadas a un tema de matemática

    q: La matemática es una ciencia exacta

    r: Leonardo es un estudiante de ciencia

    s: La ingeniería es una carrera universitaria

     Razonamiento en lenguaje natural


    Si Leonardo es un estudiante de ciencia entonces la matemática no es una ciencia exacta.
    Las llevadas de matemáticas o de ingeniería es una carrera universitaria. La matemática es
    una ciencia exacta y las derivadas es un tema matemáticas por lo tanto Leonardo no es un
    estudiante de ciencia.
     Generar una tabla de verdad con el simulador Lógica UNAD a partir del
    lenguaje simbólico

    Resultado de la tabla: tautológica.


     Generar una tabla de verdad manualmente a partir del lenguaje simbólico

    p q r s ¬q ¬ (r→¬q) (p∨s) (q∧p [(r→¬q)∧(p∨s)∧(q∧p) [(r→¬q)∧(p∨s)∧(q∧p)]→¬r


    r ) ]
    v v v v f f f v v F v
    v v v f f f f v v F v
    v v f v f v v v v V v
    v v f f f v v v v V v
    v f v v v f v v f F v
    v f v f v f v v f F v
    v f f v v v v v f F v
    v f f f v v v v f F v
    f v v v f f f v f F v
    f v v f f f f f f F v
    f v f v f v v v f F v
    f v f f f v v f f F v
    f f v v v f v v f F v
    f f v f v f v f f F v
    f f f v v v v v f F v
    f f f f v v v f f F v

    Resultado de la tabla: tautológica.

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


    lógica

    R/:

    Dado el argumento en lenguaje simbólico: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r

    Premisas Regla de inferencia


    P1: r →¬ q Simplificación (S)
    P2: p ∨ s P3:q ∧ p
    P3:q ∧ p P4:q
    Conclusión ¬ r Tollendo Tollens (TT)
    P4:q S( 3) P1: r →¬ q

    P5:¬ r TT (1,4) P4:q

    P5:¬ r

    También podría gustarte