Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 285 vistas

    Tarea 1 Pensamiento Logico y Matematico

    Cargado por

    Julio Rafael Mercado Arrieta
    El documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos mediante el uso de tablas de verdad y las reglas de inferencia lógica. El primer ejercicio involucra la construcción de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica las reglas de inferencia lógica subyacentes a expresiones simbólicas dadas. El tercer ejercicio aplica las reglas de inferencia a un argumento

    Copyright:

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

    Tarea 1 Pensamiento Logico y Matematico

    Cargado por

    Julio Rafael Mercado Arrieta
    285 vistas10 páginas
    El documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos mediante el uso de tablas de verdad y las reglas de inferencia lógica. El primer ejercicio involucra la construcción de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica las reglas de inferencia lógica subyacentes a expresiones simbólicas dadas. El tercer ejercicio aplica las reglas de inferencia a un argumento

    Descripción original:

    unad paso 1

    Título original

    tarea 1 pensamiento logico y matematico

    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?

    El documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos mediante el uso de tablas de verdad y las reglas de inferencia lógica. El primer ejercicio involucra la construcción de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica las reglas de inferencia lógica subyacentes a expresiones simbólicas dadas. El tercer ejercicio aplica las reglas de inferencia a un argumento

    Copyright:

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

    Tarea 1 Pensamiento Logico y Matematico

    Cargado por

    Julio Rafael Mercado Arrieta
    El documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos lógicos mediante el uso de tablas de verdad y las reglas de inferencia lógica. El primer ejercicio involucra la construcción de tablas de verdad para determinar si una proposición compuesta es una tautología, contingencia o contradicción. El segundo ejercicio identifica las reglas de inferencia lógica subyacentes a expresiones simbólicas dadas. El tercer ejercicio aplica las reglas de inferencia a un argumento

    Copyright:

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

    PENSAMIENTO LÓGICO Y MATEMÁTICO.

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

    REALIZADO POR:

    MAIRA ALEJANDRA TORRES SUAREZ

    GRUPO: 200611_422

    PRESENTADO A:

    VANESSA JULIETT LINARES

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


    ESCUELA DE CIENCIAS DE LA EDUCACIÓN-ECEDU
    LICENCIATURA EN EDUCACIÓN INFANTIL
    2021
    INTRODUCCIÓN
    Las verificaciones de las premisas en lógica matemática cumplen un papel fundamental en

    la formación del pensamiento, articulando los esquemas mentales y poniendo en práctica

    las inferencias lógicas de las variables de verdad. A demás estas variables permiten

    determinar la verdad o negación en una preposición determinando las características de

    cada componente a determinar, en el desarrollo de la siguiente unidad miramos los

    principales elementos que tiene los cuantificados negativos y la variabilidad que presenta

    cada uno de ellos. En esta tarea número 1 se desarrollarán cuatro ejercicios que llevarán al

    estudiante a comprender los valores que se asignan a las tablas de verdad y la validez de las

    preposiciones compuestas, cada estudiante deberá escoger un literal a desarrollar los

    cuatros ejercicios, en este trabajo se desarrollan los ejercicios del litera C; en el ejercicio 1:

    Proposiciones y tablas de verdad, Ejercicio 2: Identificación de las reglas de la inferencia

    lógica, Ejercicio 3: Aplicación de las reglas de la inferencia lógica, Ejercicio 4: Problemas

    de aplicación. Se desarrollan cada uno de los ítems que presenta el ejercicio y con ello

    verificar la validez lógica de las tablas de verdad con la aplicación de las leyes de

    inferencia.

    OBJETIVOS
     Conocer la validez de las proposiciones lógicas por medio de las tablas de verdad
     Conocer y aplicar las reglas de inferencia lógica con el fin de verificar la validez de
    las inferencias y las reglas de aplicación.
     Conocer la importancia de las tablas de verdad y la aplicación de las leyes de
    inferencia lógica

    Ejercicio 1: Proposiciones y tablas de verdad


    Literal C.
    p: Sofía se inscribió en la UNAD
    q: Sofía estudia música
    r: A Sofía le gusta el aprendizaje autónomo.

    (𝑝 ∧ 𝑞)⟷ 𝑟

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


    Sofía se inscribió en la UNAD y Sofía estudia música, si y solo si a Sofía le gusta el aprendizaje
    autónomo.
     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 ∧ p) (𝑝 ∧ 𝑞)⟷ 𝑟
    1 V V V V V
    2 V V F V F
    3 V F V F F
    4 V F F F V
    5 F V V F F
    6 F V F F V
    7 F F V F F
    8 F F F F V

    Resultado de la tabla: Contingencia


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

    Link del video:


    Ejercicio 2: Identificación de las reglas de la inferencia lógica.
    Literal C. Expresión simbólica
    ¬s→r p r ∨ ¬s
    r→t ¬q s
    ______ ______ _________
    ¬s→t p ∧ ¬q r

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

    ¬s→r p r ∨ ¬s
    r→t ¬q s
    ______ ______ _________
    ¬s→t p ∧ ¬q r

    Silogismo Hipotético (SH). Adjunción (A) Modus Tollendo Ponens (MTP)


     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)

    p: Maira estudia licenciatura en educación infantil en la UNAD


    q: Maira debe matricular el curso de pensamiento lógico y matemático
    r: Maira realiza ejercicios con proposiciones simples
    s: Maira identifica las leyes de inferencia lógica.
    t: debe cursar 160 créditos que vale la licenciatura.

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


    simbólico.

    Silogismo Hipotético (SH)

    ¬s→r Maira no identifica las leyes de inferencia lógica, entonces Maira realiza
    ejercicios con proposiciones simples
    r→t si Maira realiza ejercicios con proposiciones simples, entonces debe cursar 160
    créditos que vale la licenciatura.
    _____
    ¬s→t si Maira no identifica las leyes de inferencia lógica, entonces debe cursar 160
    créditos que vale la licenciatura.

    Adjunción (A)

    𝑝 Maira estudia licenciatura en educación infantil en la UNAD


    ¬q Maira no debe matricular el curso de pensamiento lógico y matemático
    _______

    p ∧ ¬q Maira estudia licenciatura en educación infantil en la UNAD y Maira no


    debe matricular el curso de pensamiento lógico y matemático

    Modus Tollendo Ponens (MTP)


    r ∨ ¬s Maira realiza ejercicios con proposiciones simples o Maira no identifica las leyes de
    inferencia lógica.
    s Maira identifica las leyes de inferencia lógica.
    _______
    r Maira realiza ejercicios con proposiciones simples.

    Ejercicio 3: Aplicación de las reglas de la inferencia lógica.


    Literal C.
    En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con
    suero. En el almuerzo de hoy no comeré un mote de ñame con suero.

    a. Lenguaje simbólico: _____________________________


    b. Ley de inferencia aplicada: _______________________
    c. Conclusión: ______________________________
    p: En el almuerzo de hoy comeré mojarra frita con arroz de coco.
    q: mote de ñame con suero
     Identificar la conclusión del argumento.
    𝑝 En el almuerzo de hoy comeré mojarra frita con arroz de coco.
     Nombrar la ley de inferencia que se aplica para probar el argumento.
    Modus Tollendo Ponens (MTP)
     Definir la expresión del argumento en lenguaje simbólico o formal
    𝑝∨ 𝑞
    ∼𝑞
    ___________
    ∴𝑝

    Ejercicio 4: Problemas de aplicación


    Expresión simbólica:
    [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟]→ ¬𝑝
    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: Maira aprueba el curso de pensamiento lógico y matemático.
    q: en el curso realiza los ejercicios de inferencia lógica
    r: Maira aprenderá a realizar tablas de verdad con inferencias lógicas.
    p q r ¬p ¬q ¬r (𝑝 → ¬𝑞) (𝑞 ∨ ¬𝑟) (𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟)
    𝑟]
    ∧ 𝑟]→ ¬𝑝
    1 V V V F F F F V F F V
    2 V V F F F V F V F F V
    3 V F V F V F V F F F V
    4 V F F F V V V V V F V
    5 F V V V F F V V V V V
    6 F V F V F V V V V F V
    7 F F V V V F V F F F V
    8 F F F V V V V V V F V
     Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
    natural Generar una tabla de verdad manualmente a partir del lenguaje
    simbólico (En Word, Excel o foto del desarrollo manual).

    Resultado de la tabla: Tautología


    Lenguaje natural de [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟]→ ¬𝑝
    Si Maira aprueba el curso de pensamiento lógico y matemático, entonces en el curso
    No realiza los ejercicios de inferencia lógica; Y en el curso realiza los ejercicios de
    inferencia lógica O Maira No aprenderá a realizar tablas de verdad con inferencias
    lógicas Y Maira aprenderá a realizar tablas de verdad con inferencias lógicas. Por tanto,
    Maira No aprueba el curso de pensamiento lógico y matemático.

     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)
     Demostración de la validez del argumento mediante las leyes de la inferencia
    lógica.
    P1: 𝑝 → ¬𝑞
    P2: 𝑞 ∨ ¬𝑟
    P3: 𝑟
    P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3
    P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4

    CONCLUSIÓN
    Podemos concluir que el estudio de la lógica de proposiciones descubre dos cosas

    importantes: expresiones que se refieren a individuos y expresiones que se refieren a

    propiedades de individuos o relaciones entre ellos. Las preposiciones lógicas matemáticas

    son importantes ya que por medio de estas actividades he podido descubrir la validez de

    ciertas afirmaciones que solemos utilizar, me ha servido además para poder leer entre

    líneas, los enunciados estudiados hasta el momento en esta actividad han sido de gran

    utilidad para desarrollar un pensamiento ordenado y lógico.

    BIBLIOGRAFÍA
     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.
     Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp.
    34-37). México, D.F, Larousse - Grupo Editorial Patria.
     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).
     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
     Lógica UNAD: https://youtu.be/Ea_ywnuK1t0

    También podría gustarte