Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 10 vistas

    96 - Tarea 1 - Mileidys Martinez

    Cargado por

    JAVIER ALTAMIRANDA
    Este documento presenta 4 ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra definir proposiciones y generar tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales de aplicación. El objetivo general es comprender estos conceptos lógicos para desarrollarse en el curso.

    Copyright:

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

    96 - Tarea 1 - Mileidys Martinez

    Cargado por

    JAVIER ALTAMIRANDA
    10 vistas11 páginas
    Este documento presenta 4 ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra definir proposiciones y generar tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales de aplicación. El objetivo general es comprender estos conceptos lógicos para desarrollarse en el curso.

    Descripción original:

    pensamiento logico matematico

    Título original

    200611_96_Tarea 1_Mileidys Martinez

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta 4 ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra definir proposiciones y generar tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales de aplicación. El objetivo general es comprender estos conceptos lógicos para desarrollarse en el curso.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    10 vistas11 páginas

    96 - Tarea 1 - Mileidys Martinez

    Cargado por

    JAVIER ALTAMIRANDA
    Este documento presenta 4 ejercicios sobre métodos para probar la validez de argumentos lógicos. El primer ejercicio involucra definir proposiciones y generar tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales de aplicación. El objetivo general es comprender estos conceptos lógicos para desarrollarse en el curso.

    Copyright:

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

    1

    Tarea 1 Métodos para probar la validez de argumentos

    Pensamiento Lógico matemático


    Grupo 200611_96

    Mileidys Martínez Aparicio

    Tutor: Alfonso Carlos Villadiego

    Universidad Nacional Abierta y a Distancia - UNAD


    Escuela de ciencias de la salud - ECISA
    Tecnología en Seguridad y Salud en el Trabajo
    2022
    2

    Introducción
    En el presente trabajo se observa el desarrollo de cuatro actividades que refieren a temas
    como la lógica proposicional, donde se elabora la validación de proposiciones, tablas de
    verdad y aplicación de las leyes de inferencia para comprobar la validez de los argumentos
    propuestos, poniendo a prueba la capacidad de conocimiento y razonamiento lógico para
    afrontar situaciones similares en la vida cotidiana. El pensamiento lógico matemático
    construye al hombre al relacionar experiencias ya vividas en la manipulación de objetos,
    ayuda a comprender conceptos de razonamiento abstractos y de relaciones, este
    pensamiento va mucho más allá de las matemáticas como tal y contribuye al desarrollo
    personal sano en la persona que lo implementa.
    3

    Objetivo general
    Comprender los conceptos correspondientes de cada uno de los ejercicios para un
    desarrollo optimo en cada etapa del curso.

    Objetivos específicos
    • Generar tablas de la verdad manuales y Simulador de Tablas de Verdad online
    • Nombrar la ley de inferencia que representa cada expresión simbólica
    • Definir las proposiciones simples y construir el lenguaje natural de cada ley de
    Inferencia expresada en lenguaje simbólico.
    • Identificar la conclusión del argumento.
    4

    Ejercicio 1E- proposiciones y tablas de verdad

    Descripción del ejercicio:

    A continuación, encontraras las proposiciones simples para el desarrollo del ejercicio 1

    p: La UNAD facilita espacios para cimentar conocimiento a través de áreas para la


    comunicación.

    q: La UNAD por medio de los CIPAS propende participación de los estudiantes.

    r: La UNAD le apuesta a la estrategia de la Educación a distancia con los encuentros


    pedagógicos CIPAS “Círculos de Interacción y Participación Académica y Social”

    s: La UNAD utiliza este tipo de metodología para generar conocimiento donde el estudiante
    puedan despejar dudas entre ellos asesorándose de un docente para una mayor integración
    pedagógica.

    (𝑝 → r) ⟷ (𝑞 ∨ s)

    • Escribir la proposición compuesta propuesta en un lenguaje natural


    Si la UNAD facilita espacios para cimentar conocimiento a través de áreas para la
    comunicación, entonces la UNAD le apuesta a la estrategia de la Educación a distancia
    con los encuentros pedagógicos CIPAS “Círculos de Interacción y Participación
    Académica y Social”, si y solo si, a UNAD por medio de los CIPAS propende participación
    de los estudiantes o la UNAD utiliza este tipo de metodología para generar conocimiento
    donde el estudiante puedan despejar dudas entre ellos asesorándose de un docente para una
    mayor integración pedagógica.
    5

    • Generar una tabla manual a partir del lenguaje simbólico y determinar si el


    resultado en una tautología, contingencia o contradicción

    r s p → r q vs (p → r)↔(q v s)
    v v v v v
    v f v v v
    f v f v f
    f f f v f
    v v v v v
    v f v f f
    f v f v f
    f f f f v
    v v v v v
    v f v v v
    f v v v v
    f f v v v
    v v v v v
    v f v f f
    f v v v v
    f f v f f
    CONTINGENCIA

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


    6

    Ejercicio 2E- Identificación de las reglas de la inferencia lógica

    Descripción del ejercicio:

    Proposiciones simples:

    p: Tatiana es estudiante de la UNAD


    q: Tatiana tiene clase de lunes a viernes
    r: Tatiana es disciplinada

    • Ley de inferencia de la expresión: Modus Ponendo Ponens (PP)

    Lenguaje natural:
    Si Tatiana es estudiante de la UNAD, entonces Tatiana no tiene clase de lunes a viernes.
    Tatiana es estudiante de la UNAD. Por lo tanto, Tatiana no tiene clase de lunes a viernes

    Proposiciones simples:

    p: Tatiana es estudiante de la UNAD


    q: Tatiana tiene clase de lunes a viernes

    • Ley de inferencia de la expresión: Adjunción (A)


    Lenguaje natural: Tatiana es estudiante de la UNAD, entonces Tatiana no tiene clase de
    lunes a viernes. Tatiana es estudiante de la UNAD. Por lo tanto, Tatiana no tiene clase
    de lunes a viernes

    Proposiciones simples:

    p: Tatiana es estudiante de la UNAD


    r: Tatiana es disciplinada
    7

    • Ley de inferencia de la expresión: Adjunción (A)

    Lenguaje natural:
    Si Tatiana no es estudiante de la UNAD, entonces Tatiana es disciplinada. Tatiana no es
    estudiante de la UNAD. Por lo tanto, Tatiana es disciplinada.

    Ejercicio 3E- Aplicación de las reglas de la inferencia lógica

    Descripción del ejercicio:


    E. Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de sus
    vidas están despiertos. Si los gatos el 30% de sus vidas están despiertos, entonces los
    gatos pasan 10.950 horas ronroneando.

    Lenguaje simbólico:

    p: Los gatos pasan el 70% de sus vidas durmiendo


    q: Los gatos el 30% de sus vidas están despiertos
    r: Los gatos pasan 10.950 horas ronroneando.

    q→r
    ______
    p→r

    Ley de inferencia aplicada: Silogismo Hipotético (SH)

    Conclusión: Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos pasan
    10.950 horas ronroneando.
    8

    Ejercicio 4E- Problemas de aplicación

    Descripción del ejercicio:

    • Definir las preposiciones simples

    𝑡: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑒𝑙 𝑚𝑒𝑗𝑜𝑟 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒


    𝑠: 𝐽𝑢𝑎𝑛 𝑎𝑦𝑢𝑑𝑎 𝑎 𝑠𝑢𝑠 𝑐𝑜𝑚𝑝𝑎ñ𝑒𝑟𝑜𝑠
    𝑝: 𝐽𝑢𝑎𝑛 𝑎𝑠𝑖𝑠𝑡𝑒 𝑎 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑙𝑎𝑠𝑒𝑠

    Lenguaje natural: Si Juan es el mejor estudiante, entonces Juan ayuda a sus


    compañeros. Si Juan ayuda a sus compañeros, entonces Juan asiste a todas las clases. Por
    lo tanto, si Juan es el mejor estudiante, entonces Juan asiste a todas las clases.

    • Generar una tabla manual a partir del lenguaje simbólico y determinar si el


    resultado en una tautología, contingencia o contradicción

    t s p t→s s→p (t → s ) ∧ (s → p ) (t → p) [(t → s ) ∧ (s → p )] → (t → p)


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

    TAUTOLOGÍA
    9

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

    Demostración de la validez del argumento mediante las Leyes de Inferencia:

    P1: (t → s)
    P2: (s → p)

    t→s
    s→p
    _____
    t→p
    P3: t → p ……… Silogismo Hipotético (SH) entre P1 y P2.
    10

    Conclusiones

    La función que cumplen las tablas de verdad es muy importante para analizar y determinar
    los valores de verdad en un enunciado, gracias a este método es más sencillo saber si una
    fórmula es correcta y nos permite demostrar o contradecir la validez de un argumento. Las
    leyes de inferencia desarrollan la capacidad que tiene una persona para elaborar
    argumentos y analizarlos con un punto de vista crítico, también afirman que hacer uso de
    la razón se puede aplicar en diferentes aspectos. Para demostrar y contradecir la validez de
    un argumento a través del método de deducción, se deduce la conclusión de un argumento
    a partir de sus premisas.
    11

    Referencias bibliográficas

    • Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp.

    19-39). México, D.F, Larousse - Grupo Editorial Patria.

    • Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

    Córdoba, AR: El Cid Editor. (pp. 40-49).

    • Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp.

    34-37). México, D.F, Larousse - Grupo Editorial Patria.

    • Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

    fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.

    (pp. 19-28). Madrid, España: Editorial Tébar Flores.

    • http://logicaunad.com/jtruth/ - Simulador de Tablas de Verdad online

    También podría gustarte