Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 25 vistas

    1114 - Tarea - 2 - Brandon Zabala

    Cargado por

    brajo zaan
    Este documento presenta cuatro ejercicios para practicar métodos de validación de argumentos, como tablas de verdad y reglas de inferencia lógica. El objetivo es aplicar estos métodos a situaciones de la vida cotidiana para poner a prueba el razonamiento y conocimiento. Cada ejercicio propone resolver un problema simbólico desarrollando el lenguaje natural, tablas de verdad y demostraciones usando reglas lógicas. Al final, se concluye que estos métodos sirven para evaluar la validez de argument

    Copyright:

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

    1114 - Tarea - 2 - Brandon Zabala

    Cargado por

    brajo zaan
    25 vistas13 páginas
    Este documento presenta cuatro ejercicios para practicar métodos de validación de argumentos, como tablas de verdad y reglas de inferencia lógica. El objetivo es aplicar estos métodos a situaciones de la vida cotidiana para poner a prueba el razonamiento y conocimiento. Cada ejercicio propone resolver un problema simbólico desarrollando el lenguaje natural, tablas de verdad y demostraciones usando reglas lógicas. Al final, se concluye que estos métodos sirven para evaluar la validez de argument

    Título original

    200611_1114_Tarea_2_brandon zabala

    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 para practicar métodos de validación de argumentos, como tablas de verdad y reglas de inferencia lógica. El objetivo es aplicar estos métodos a situaciones de la vida cotidiana para poner a prueba el razonamiento y conocimiento. Cada ejercicio propone resolver un problema simbólico desarrollando el lenguaje natural, tablas de verdad y demostraciones usando reglas lógicas. Al final, se concluye que estos métodos sirven para evaluar la validez de argument

    Copyright:

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

    1114 - Tarea - 2 - Brandon Zabala

    Cargado por

    brajo zaan
    Este documento presenta cuatro ejercicios para practicar métodos de validación de argumentos, como tablas de verdad y reglas de inferencia lógica. El objetivo es aplicar estos métodos a situaciones de la vida cotidiana para poner a prueba el razonamiento y conocimiento. Cada ejercicio propone resolver un problema simbólico desarrollando el lenguaje natural, tablas de verdad y demostraciones usando reglas lógicas. Al final, se concluye que estos métodos sirven para evaluar la validez de argument

    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 13

    Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos

    Brandon Sebastián Zabala lozano– Código 1101201537

    Pensamiento Lógico y Matemático 200611

    Grupo 1114

    Director-Tutor

    Ronald Andrés otavo Loaiza

    Universidad Nacional Abierta y a Distancia - UNAD

    Escuela de Ciencias Básicas, Tecnología e Ingeniería

    2023
    Introducción

    En este trabajo se observa el desarrollo de cuatro ejercicios que ponen en práctica temas

    como la lógica proposicional, tablas de verdad y aplicación de las leyes de inferencia con

    dichos temas se puede comprobar la validez de los argumentos, poniendo a prueba nuestro

    conocimiento y razonamiento ante situaciones en la vida cotidiana


    Objetivos

    Dar uso a los Métodos para probar la validez de argumentos poniendo a prueba nuestro

    conocimiento y razonamiento ante situaciones en la vida cotidiana


    Apreciado estudiante, a continuación, encontrará los espacios designados para cada

    ejercicio, usted debe desarrollar el literal seleccionado en el foro, tenga en cuenta

    todas las indicaciones dadas en el Anexo 5 – Guía para el desarrollo de la tarea 2,

    donde hay un ejemplo de cada ejercicio con una solución a los ítems solicitados.

    Ejercicio 1: Proposiciones y tablas de verdad

    . p: En las grandes ciudades el principal problema es la movilidad por los interminables trancones.

    q: En las zonas rurales un gran problema es la movilidad por la falta de buenas vías. r: En Colombia

    el gran problema es la movilidad. (𝑝 ∧ 𝑞) → r

    Lenguaje natural: En las grandes ciudades el principal problema es la movilidad por los

    interminables trancones y en las zonas rurales un gran problema es la movilidad por la falta

    de buenas vías entonces en Colombia el gran problema es la movilidad.

    Tabla de verdad manual


    Tabla de verdad simulador-lógica UNAD.

    Link vídeo explicativo ejercicio 1:

    Ejercicio 2: Aplicación de las reglas de inferencia lógica

    Espacio para solución del ejercicio 2

    D. El Sistema de Servicio Social Unadista permite que los profesionales se compenetren con la

    realidad social y el curso de Pensamiento Lógico Matemático favorece la comprensión de todos los

    cursos del programa.

    a. Lenguaje simbólico: p: El Sistema de Servicio Social Unadista permite que los profesionales se

    compenetren con la realidad social q: El curso de Pensamiento Lógico Matemático favorece la

    comprensión de todos los cursos del programa P1: p∧ q

    b. Ley de inferencia aplicada: simplificación


    c. Conclusión: El Sistema de Servicio Social Unadista permite que los profesionales se compenetren

    con la realidad social

    Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

    Espacio para solución del ejercicio 3

    D. Expresión simbólica ejercicio 3

    [(p→r) ᴧ(q→r) ᴧ (p v q) ᴧ (~r)]→ [(~p ᴧ r) v q]

    P1: p→r Conclusión: [(~p ᴧ r) v q]

    P2: q→r

    P3: p v q

    P4: ~r

    ➢ Realizar la tabla de la verdad mediante el simulador de lógica Unad


    Ejercicio 4: Problemas de aplicación.

    Espacio para solución del ejercicio 4

    D. Expresión simbólica: [(∼q∧∼r) ∧ (∼r→ q) ∧ (p→ q)]→ (∼p∧ q)

    Premisas:

    P1: (∼q ∧ ∼r)

    P2: (∼r →q)

    P3: (p →q)

    Conclusión: (∼p ∧ q)

    desarrollo

    ➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en

    un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno. Las

    proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3. Complemento

    predicado. Mínimo 7 palabras.

    p: la UNAD ofrece diversas carreras profesionales académicas

    q: Sebastián está estudiando ingeniería industrial en la UNAD

    r: Asiste a todos los cursos desde su teléfono celular

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

    Expresión simbólica: [(∼q∧∼r) ∧ (∼r→ q) ∧ (p→ q)]→ (∼p∧ q)

    lenguaje natural: Sebastián NO está estudiando ingeniería industrial en la unad Y NO asiste


    a todos los cursos desde su teléfono celular Y SI NO asiste a todos los cursos desde su

    teléfono celular ENTONCES Sebastián está estudiando ingeniería industrial en la unad Y

    SI la unad ofrece diversas carreras profesionales académicas ENTONCES Sebastián está

    estudiando ingeniería industrial en la unad ENTONCES La unad no ofrece diversas carreras

    profesionales académicas Y sebastian está estudiando ingeniería de industrial en la unad.

    ➢ Generar una tabla de verdad manualmente a partir del lenguaje

    simbólico (En Word, Excel o foto del desarrollo manual).

    ➢ 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.

    argumento:
    Expresión simbólica:
    [(∼q∧∼r) ∧ (∼r→ q) ∧ (p→
    q)]→ (∼p∧ q)
    Premisas:
    P1: (∼q∧∼r)
    P2: (∼r→ q)
    P3: (p→ q)
    Conclusión: (∼p∧ q)
    P4: ∼r LS (1
    argumento:

    Expresión simbólica: [(∼q∧∼r) ∧ (∼r→ q) ∧ (p→ q)]→ (∼p∧ q)

    Premisas:

    P1: (∼q∧∼r)

    P2: (∼r→ q)

    P3: (p→ q)

    Conclusión: (∼p∧ q)

    P4: ∼r LS (1

    5: q MPP (2,4)

    P6: ∼q LS (1)

    P7: ∼p MTT (3,6)

    P8: ∼p∧ q LA (7,5) = Conclusión

    argumento:
    Expresión simbólica:
    [(∼q∧∼r) ∧ (∼r→ q) ∧ (p→
    q)]→ (∼p∧ q)
    Premisas:
    P1: (∼q∧∼r)
    P2: (∼r→ q)
    P3: (p→ q)
    Conclusión: (∼p∧ q)
    P4: ∼r LS (1
    Conclusiones

    Métodos para probar la validez de argumentos sirven para poner a prueba nuestro

    conocimiento y razonamiento para probar la valides de los argumentos que están

    relacionados con nuestra vida cotidiana.


    Referencias Bibliográficas

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


    Cid Editor. (pp. 40-49).
    https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

    https://repository.unad.edu.co/reproductor-ova/10596_31590/05.slide.html

    https://www.youtube.com/watch?v=CfFtt_Lz5Pg

    También podría gustarte