Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 97 vistas

    1 Unidad 1 - Liz Eslendy Lancheros Ramirez

    Cargado por

    Liz Ramirez
    Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra el uso de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica leyes de inferencia lógica en lenguaje simbólico. El tercer ejercicio aplica la ley de modus tollens a un argumento. El cuarto ejercicio genera una tabla de verdad para verificar si un argumento es válido.

    Copyright:

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

    1 Unidad 1 - Liz Eslendy Lancheros Ramirez

    Cargado por

    Liz Ramirez
    97 vistas13 páginas
    Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra el uso de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica leyes de inferencia lógica en lenguaje simbólico. El tercer ejercicio aplica la ley de modus tollens a un argumento. El cuarto ejercicio genera una tabla de verdad para verificar si un argumento es válido.

    Descripción original:

    Título original

    1 unidad 1_ liz eslendy lancheros ramirez

    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 cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra el uso de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica leyes de inferencia lógica en lenguaje simbólico. El tercer ejercicio aplica la ley de modus tollens a un argumento. El cuarto ejercicio genera una tabla de verdad para verificar si un argumento es válido.

    Copyright:

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

    1 Unidad 1 - Liz Eslendy Lancheros Ramirez

    Cargado por

    Liz Ramirez
    Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra el uso de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica leyes de inferencia lógica en lenguaje simbólico. El tercer ejercicio aplica la ley de modus tollens a un argumento. El cuarto ejercicio genera una tabla de verdad para verificar si un argumento es válido.

    Copyright:

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

    Unidad 1 - Tarea 1 - Métodos para probar la validez de argumentos

    Estudiante:

    Liz Eslendy Lancheros Ramírez

    Grupo Nº: 200611_45

    Tutor:
    Frank Rodríguez

    Universidad Nacional Abierta y a Distancia (UNAD)


    Escuela de Ciencias Sociales, Artes y Humanidades (ECSAH)
    psicología
    Pensamiento Lógico y Matemático
    Florencia (Caquetá)- 2020
    INTRODUCCION

    La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
    técnicas determina si un argumento es válido. Por tanto, el presente trabajo de lógica
    matemáticas consiste en dar solución a una actividad individual completa al punto
    escogido, el cual es A, con el fin de desarrollar los cuatro ejercicios.

    Esta metodología basada en la teoría del aprendizaje significativo, facilita que como
    alumnos en el aprendizaje tengamos una mejor calidad de aprendizaje integral para el
    campo profesional.
    OBJETIVOS

    Conocer y saber aplicar los métodos y técnicas de las Matemáticas.


    El papel que juega la lógica matemática en nuestro entorno
    La aplicabilidad a las diferentes carreras profesionales
    Determinar la validez de un razonamiento lógico
    Capacitarme en conocimientos teóricos y prácticos adquiridos en la definición y
    planteamiento de problemas y en la búsqueda de sus soluciones tanto en contextos
    académicos como profesionales.
    Ejercicio 1: Proposiciones y tablas de verdad.

    Ejercicios:
    A

    p: El 2020 fue un año atípico para todo el mundo

    q: El COVID19 afecto gran parte de la economía

    r: El COVID19 nos hizo reinventar en muchos campos de acción

    (𝑝∨𝑟) ∧ (𝑝↔𝑞)

    A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
    ítems:

    Escriba la proposición compuesta propuesta en lenguaje natural.

    El 2020 fue un año a típico para todo el mundo o el COVID 19 nos hizo reinventar en
    muchos campos de acción a y si Y solo si 2020 fue un año atípico para todo el mundo
    entonces el COVID 19 afecto gran parte de la economía.

    Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
    resultado es una tautología, contingencia o contradicción.
    p q r P v r 𝑝↔𝑞 (𝑝∨𝑟) ∧ (𝑝↔𝑞)

    V V V V V V
    V V F V V V
    V F V V F F
    V F F V F F
    F V V V F F
    F V F F F F
    F F V V V V
    F F F F V F

    El resultado de la tabla es: Contingencia

    Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
    del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
    entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
    1- Tarea 1 - Métodos para probar la validez de argumentos.

    Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1


    seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc u
    otra alternativa que se le facilite.
    Ejercicio 2

    A continuación, encuentra el lenguaje simbólico de expresiones que representan


    algunas leyes de inferencia.

    A. Expresión simbólica:

    a) r → s b) p → q c) p →q
    r ¬q q→r
    ______ ______ ______
    s ¬p p→r

    ley de inferencia de la expresión simbólica.


    a) modus ponendo ponens.
    c) Modus tollendo tollens.
    d) Silogismo hipotético.

    proposiciones simples.

    P: estudio los contenidos bibliográficos


    q: realizo los aportes a tiempo
    r: aprobó el curso de lógica matemática
    s: recibo retroalimentación del tutor
    lenguaje natural.

    a) si apruebo el curso de lógica matemática. Entonces recibo retroalimento del tutor.


    apruebo el curso de lógica matemática. Entonces recibo retroalimento del tutor.

    b) si estudio los contenidos bibliográficos entonces. realizo los aportes a tiempo. No realizo
    los aportes a tiempo. No estudie los contenidos bibliográficos.

    c) si estudio los contenidos bibliográficos entonces. Realizo los aportes a tiempo. Si realizo
    los aportes a tiempo entonces. Apruebo el curso de lógica matemática. Si estudio los
    contenidos bibliográficos entonces a pruebo el curso de lógica matemática.

    A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

    A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al


    gimnasio.

    a. Conclusión: Rafael tiene un cuerpo tonificado

    b. Ley de inferencia aplicada: modus tollendo tones

    c. Lenguaje simbólico: p →q
    p
    ______
    q
    A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
    argumento para el desarrollo del ejercicio 4:

    {(𝒑→¬𝒓) ∧(¬𝒒→𝒑) ∧(𝒑∧¬𝒒)} →(𝒑∧¬𝒓)


    Premisas:
    P1: 𝒑→¬𝒓
    P2: ¬𝒒→𝒑
    P3: 𝒑∧¬𝒒
    Conclusión: 𝒑∧¬𝒓

    Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
    basada en un contexto, el que se solicita es un contexto académico

    p: Liz realiza todas las actividades académicas a tiempo


    q: Liz aprueba todos los cursos académicos
    r: Liz se gradúa de psicología

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

    P1: 𝒑→¬𝒓 si Liz realiza todas las actividades académicas a tiempo, entonces Liz no se
    gradúa de psicología.

    P2: ¬𝒒→𝒑 si Liz no aprueba todos los cursos académicos, entonces realiza toda la
    actividad académica a tiempo.

    P3: 𝒑∧¬𝒒 Liz realiza todas las actividades académicas a tiempo y Liz no aprueba todos los
    cursos académicos.

    Conclusión: 𝒑∧¬𝒓
    Liz realiza todas las actividades académicas a tiempo y no aprueba todos los cursos
    académicos.
    Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
    Excel o foto del desarrollo manual).

    p q r ¬𝒓 ¬q 𝑝 →¬ 𝒓 ¬𝒒→𝒑 𝒑∧¬𝒒 (𝑝→¬𝑟) ∧ (¬q→p) (𝒑∧¬𝒒) →( 𝑝 →¬ 𝒓)

    V V V F F F V F F V
    V V F V F V V F V V
    V F V F V F V V F V
    V F F V V V V V V V
    F V V F F V V F V V
    F V F V F V V F V V
    F F V F V V F F F V
    F F F V V V F F F V

    Resultado: tautología

    Generar la tabla de verdad a través del simulador Lógica UNAD.


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

    P1: 𝒑→¬𝒓

    P2: ¬𝒒→𝒑

    P3: 𝒑∧¬𝒒
    __________
    c: p∧→¬𝒓

    p4: p(s) en 3

    p5: ¬𝒒 (s) en 3

    p6: ¬𝒓 (pp) en 1y4

    p7: p∧¬𝒓 (adjunción) en 4y6


    CONCLUSIONES

    La utilización de la lógica matemática tiene sus ventajas y desventajas por lo tanto hay que
    conocerlas y analizarlas.

    Un argumento lógico es un razonamiento que parte de una serie de enunciados llamados


    premisas que puede llegar a un resultado llamado conclusión.

    La lógica matemática nos ayuda a desarrollar los procesos de pensamiento encontrando


    sentido a lo que normalmente realizamos, muchas veces utilizamos en nuestros
    razonamientos de oraciones, freses que suelen estudiarse en esta materia, las inferencias
    lógicas también cotidianas y la hacemos sin darnos cuenta.
    REFERENCIAS BIBLIOGRAFICAS

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


    (pp. 12 - 31). Ediciones Elizcom, Madrid. Recuperado de https://elibro-
    net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12

    Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado


    de http://hdl.handle.net/10596/13871  
    Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado
    de http://hdl.handle.net/10596/13869
    Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). 
    México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
    net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

    También podría gustarte