Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 25 vistas

    Pensamiento Logico Matematico Enys Moya

    Cargado por

    johana arroyo
    Este documento contiene cuatro ejercicios resueltos sobre temas como proposiciones y tablas de verdad, expresión simbólica, reglas de inferencia lógica y problemas de aplicación. El objetivo es aprender sobre lenguajes simbólicos y métodos para resolver problemas complejos como las tablas de verdad y las leyes de inferencia. Cada ejercicio incluye definiciones de proposiciones, tablas de verdad, construcción de argumentos formales y expresión de conclusiones en lenguaje natural.

    Copyright:

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

    Pensamiento Logico Matematico Enys Moya

    Cargado por

    johana arroyo
    25 vistas15 páginas
    Este documento contiene cuatro ejercicios resueltos sobre temas como proposiciones y tablas de verdad, expresión simbólica, reglas de inferencia lógica y problemas de aplicación. El objetivo es aprender sobre lenguajes simbólicos y métodos para resolver problemas complejos como las tablas de verdad y las leyes de inferencia. Cada ejercicio incluye definiciones de proposiciones, tablas de verdad, construcción de argumentos formales y expresión de conclusiones en lenguaje natural.

    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 contiene cuatro ejercicios resueltos sobre temas como proposiciones y tablas de verdad, expresión simbólica, reglas de inferencia lógica y problemas de aplicación. El objetivo es aprender sobre lenguajes simbólicos y métodos para resolver problemas complejos como las tablas de verdad y las leyes de inferencia. Cada ejercicio incluye definiciones de proposiciones, tablas de verdad, construcción de argumentos formales y expresión de conclusiones en lenguaje natural.

    Copyright:

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

    Pensamiento Logico Matematico Enys Moya

    Cargado por

    johana arroyo
    Este documento contiene cuatro ejercicios resueltos sobre temas como proposiciones y tablas de verdad, expresión simbólica, reglas de inferencia lógica y problemas de aplicación. El objetivo es aprender sobre lenguajes simbólicos y métodos para resolver problemas complejos como las tablas de verdad y las leyes de inferencia. Cada ejercicio incluye definiciones de proposiciones, tablas de verdad, construcción de argumentos formales y expresión de conclusiones en lenguaje natural.

    Copyright:

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

    Pensamiento lógico y matemático

    Alberto alain cabrales


    Tutor

    Grupo: 200611_82

    Eny Minellys Moya Córdoba

    1045490404

    Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios


    ECACEN

    Universidad Nacional Abierta y a Distancia UNAD


    Pensamiento Lógico Matemático 200611B_952
    Contaduría Publica
    Turbo Antioquia 14/05/2021
    Introducción

    El pensamiento lógico y matemático es aquel que surge a partir de las experiencias


    directas y que desarrolla la capacidad de comprender los conceptos abstractos a través
    de los números, formas gráficas, ecuaciones, fórmulas matemáticas y físicas.

    Este documento contiene cada uno de los ejercicios resueltos establecidos en la guía
    de actividades, de la unidad uno que Trata de los métodos para probar la validez de
    argumentos, en el cual se podrá evidenciar cuatro ejercicios resueltos sobre temas muy
    diferentes como lo son: proposiciones y tablas de verdad, expresión simbólica, reglas
    de inferencia lógica y problemas de aplicación.

    El objetivo del presente trabajo es  encontrar diferentes formas  de resolver problemas 
    de específico como lo son:  las proposiciones de tablas de verdad, las cuales nos
    enseñan proposiciones(propuestas) tales como:  conjugaciones disyunciones,
    condicionales, bicondicionales y negaciones,  nos plantea  sobre Cómo desarrollar un
    lenguaje natural por medio de ciertos símbolos o caracteres debido a que a través de
    estos se pueden deducir leyes de inferencia, las cuales son: modus tollens, modus
    ponens y simplificación.
    Objetivo

    Este documento fue elaborado para adquirir conocimientos de trabajos realizados


    como Ley de inferencia, tablas de verdad, lenguajes simbólicos, argumentos y
    conclusiones de cada uno de los ejercicios establecidos en la guía de actividades, los
    cuales nos permitieron aprender teorías y métodos de resolver problemas complejos
    como lo son los lenguajes simbólicos, algo que a simple vista podríamos deducir que no
    es difícil de resolver pero al profundizar en el tema nos damos cuenta que no es nada
    fácil como parece.
    Desarrollo de la actividad 1 letra A

    Descripción del ejercicio:

    A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio


    1:

    p: La emergencia sanitaria fue ampliada hasta 31 de mayo


    q: Los restaurantes están autorizados para vender licor
    r: Las medidas de bioseguridad deben ser modificadas

    [(¬𝒑∧𝒓)∧(𝒑∧𝒒)]
    A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
    ítems:

     Escriba la proposición compuesta propuesta en lenguaje natural.

    R// La emergencia sanitaria no fue ampliada hasta el 31 de mayo y las medidas de


    bioseguridad deben ser modificadas y la emergencia sanitaria fue ampliada hasta el 31
    de mayo y los restaurantes están autorizados para vender licor

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

    R//
    p q r ¬p ¬p∧r p∧q (¬ p ∧ r) ∧ (p ∧ q)

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

    Esta tabla es una Contradicción


     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.
    R//

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

    El estudiante debe aparecer en la grabación de frente y mostrar a la cámara su


    carnet estudiantil, ocultando el número de este (En la imagen se debe ver
    claramente el nombre y apellidos del estudiante). Deberá subir el link del vídeo a
    YouTube u otra plataforma de vídeos y pegar el enlace debajo de la solución del
    ejercicio en el documento final a entregar. El vídeo no debe superar los 3
    minutos de duración.

    R// https://youtu.be/PALzd3YpRyM
    Desarrollo de la actividad 2

    Descripción del ejercicio:

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


    algunas leyes de inferencia.

    A. Expresión simbólica

    pvq r∧𝑠 p→q


    ¬q p
    p r q

    A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes
    ítems:

     Nombrar la ley de inferencia que representa cada expresión simbólica.

    R//
    pvq Modus Tollendo Tollens (TT)
    ¬q
    P

    r∧𝑠
    simplificación (s)
    r

    p→q modus ponendo ponens (pp)


    p
    q
     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 (puede
    usar las mismas proposiciones simples en cada una de las 3 expresiones simbólicas
    seleccionadas), ejemplo:
     p: William estudia en la Institución Educativa Turbo
     q: La Institución Educativa Turbo es un Colegio Público
    Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
    encontrar proposiciones iguales entre estudiantes se considerara como copia y se
    tomaran las medidas correctivas estipuladas por la UNAD.

    R//

    pvq
    ¬q
    P
    p: William estudia en la Institución Educativa Turbo
    q: William estudiara en la UNAD
    ¬q: William no estudiara en la UNAD

    p: William estudia en la Institución Educativa Turbo

    r∧𝑠

    r
    r: William estudia en la Institución Educativa Turbo

    s: William estudia en la UNAD

    r: William estudia en la Institución Educativa Turbo


    p→q
    p
    q
    p: William estudia en la Institución Educativa Turbo
    q: William estudio en la UNAD
    p: William estudia en la Institución Educativa Turbo

    q: William estudio en la UNAD

     Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje


    simbólico.

    R//
    pvq
    ¬q
    P
    p: William estudia en la Institución Educativa Turbo
    q: William estudiara en la UNAD
    ¬q: William no estudiara en la UNAD

    p: William estudia en la Institución Educativa Turbo

    William estudia en la Institución Educativa Turbo o William estudiara en la UNAD.


    William no estudiara en la UNAD. William estudia en Institución Educativa Turbo

    r∧𝑠

    r
    r: William estudia en la Institución Educativa Turbo
    s: William estudia en la UNAD
    r: William estudia en la Institución Educativa Turbo

    William estudia en la Institución Educativa Turbo y William estudia en la UNAD. William


    estudia en la Institución Educativa Turbo

    p→q
    p
    q
    p: William estudia en la Institución Educativa Turbo
    q: William estudio en la UNAD
    p: William estudia en la Institución Educativa Turbo

    q: William estudio en la Institución Educativa Turbo

    si William estudia en la Institución Educativa Turbo entonces Elika estudio en la


    UNAD. William estudia en la Institución Educativa Turbo. William estudio en la
    Institución Educativa Turbo

    Desarrollo de la actividad 3

    Descripción del ejercicio:

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

    A. El ejercicio regular fortalece el sistema inmunológico. El ejercicio libera


    endorfinas que aumentan el estado de bienestar.

    a. Conclusión: ____________________________________
    b. Ley de inferencia aplicada: ________________________
    c. Lenguaje simbólico: ______________________________

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

     Identificar la conclusión del argumento.

    R//

    Argumento:
    El ejercicio regular fortalece el sistema inmunológico. el ejercicio libera endorfinas
    que aumentan el estado de bienestar, por lo tanto. El ejercicio nos ayuda a tener un
    cuerpo saludable

    a. Conclusión: El ejercicio nos ayuda a tener un cuerpo saludable.

     Nombrar la ley de inferencia que se aplica para probar el argumento.

    R//

    b. Ley de inferencia aplicada: conjunción

     Definir la expresión del argumento en lenguaje simbólico o formal.

    R//

    c. Lenguaje simbólico: p
    q
    p∧q

    Desarrollo de la actividad 4

    Descripción del ejercicio:

    A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un


    argumento para el desarrollo del ejercicio 4:

    A. Expresión simbólica: [(𝒑∧𝒒) ∧ (𝒑→𝒓)]⟶(𝒓∧𝒒)

    Premisas:

    P1: 𝒑∧𝒒
    P2: 𝒑→𝒓
    Conclusión: 𝒓∧𝒒
    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, el que se solicita es un contexto académico,
    ejemplo:
    • p: William estudia en la Institución Educativa Turbo
    • q: La Institución Educativa Turbo es un colegio Público

    R//

    P: William quiere estudiar en Institución Educativa Turbo


    q: William se matriculo en la Institución Educativa Turbo
    r: William estudia en la Institución Educativa Turbo

     Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje


    natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo que
    de encontrar proposiciones iguales entre estudiantes se considerara como copia y se
    tomaran las medidas correctivas estipuladas por la UNAD.

    R//
    [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

    William quiere estudiar en la Institución Educativa Turbo y William se matriculo en la


    Institución Educativa Turbo y William quiere estudiar en la Institución Educativa Turbo
    entonces William estudia en la Institución Educativa Turbo entonces William estudia en
    la Institución Educativa Turbo y William se matriculo en la Institución Educativa Turbo.
     Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
    Word, Excel o foto del desarrollo manual).

    R//

    p q r p∧q p→r (p ∧ q) ∧ (p → r) r∧q [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

    V V V V V V V V
    V V F V F F F V
    V F V F V F F V
    V F F F F F F V
    F V V F V F V V
    F V F F V F F V
    F F V F V F F V
    F F F F V F F V
    La proposición es una tautología

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

    R//
     Demostración de la validez del argumento mediante las leyes de la inferencia
    lógica

    R//
    William se matricula en la en la Institución Educativa Turbo y William estudiara en la en
    la Institución Educativa Turbo y si William se matricula en la en la Institución Educativa
    Turbo entonces William está estudiando en la en la Institución Educativa Turbo
    entonces William está estudiando en la en la Institución Educativa Turbo y William
    estudiara en la Institución Educativa Turbo

    [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

    1 P1: 𝒑 ∧ 𝒒
    2 P2: 𝒑 → 𝒓
    Conclusión: 𝒓 ∧ q
    3 p: (mpp) 1,2
    4 q: (mpp) 1,3
    5: r ∧ q (mpp) 2,4
    Conclusión

    Fue grato desarrollar los ejercicios, ya que estos me ayudaron a comprender cada
    día más el método de aprendizaje autodidacta y poner a tentativa mis conocimientos,
    cada ejercicio que desarrolle fue poner a prueba cada conocimiento adquirido, al leer
    he interpretar la guía me ayudo fortalecer lo que aprendí, cosas nuevas que se que
    me ayudaran a lo largo de mi paso por esta prestigiosa universidad.
    Referencias bibliográficas

    Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad


    Peruana de Ciencias Aplicadas (UPC). Recuperado de 
    https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

    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://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

    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).
    Recuperadode https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
    page=59

    También podría gustarte