Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 43 vistas

    Métodos para Probar La Validez de Argumentos - Tarea 1

    Cargado por

    lwjinista ˊˎ-
    Este documento presenta las soluciones a 4 ejercicios sobre métodos para probar la validez de argumentos. El ejercicio 1 involucra proposiciones y tablas de verdad. El ejercicio 2 identifica reglas de inferencia lógica. El ejercicio 3 aplica dichas reglas. El ejercicio 4 presenta problemas integrando conceptos vistos. Cada solución define proposiciones, traduce enunciados a lenguaje formal y natural, y demuestra la validez usando tablas de verdad y reglas lógicas.

    Copyright:

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

    Métodos para Probar La Validez de Argumentos - Tarea 1

    Cargado por

    lwjinista ˊˎ-
    43 vistas8 páginas
    Este documento presenta las soluciones a 4 ejercicios sobre métodos para probar la validez de argumentos. El ejercicio 1 involucra proposiciones y tablas de verdad. El ejercicio 2 identifica reglas de inferencia lógica. El ejercicio 3 aplica dichas reglas. El ejercicio 4 presenta problemas integrando conceptos vistos. Cada solución define proposiciones, traduce enunciados a lenguaje formal y natural, y demuestra la validez usando tablas de verdad y reglas lógicas.

    Título original

    Jjj

    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 las soluciones a 4 ejercicios sobre métodos para probar la validez de argumentos. El ejercicio 1 involucra proposiciones y tablas de verdad. El ejercicio 2 identifica reglas de inferencia lógica. El ejercicio 3 aplica dichas reglas. El ejercicio 4 presenta problemas integrando conceptos vistos. Cada solución define proposiciones, traduce enunciados a lenguaje formal y natural, y demuestra la validez usando tablas de verdad y reglas lógicas.

    Copyright:

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

    Métodos para Probar La Validez de Argumentos - Tarea 1

    Cargado por

    lwjinista ˊˎ-
    Este documento presenta las soluciones a 4 ejercicios sobre métodos para probar la validez de argumentos. El ejercicio 1 involucra proposiciones y tablas de verdad. El ejercicio 2 identifica reglas de inferencia lógica. El ejercicio 3 aplica dichas reglas. El ejercicio 4 presenta problemas integrando conceptos vistos. Cada solución define proposiciones, traduce enunciados a lenguaje formal y natural, y demuestra la validez usando tablas de verdad y reglas lógicas.

    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 8

    1

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

    Angely Paola García Henao.

    C.C: 1088824327

    Número de grupo: 828

    Tutor:

    Jorge Luis Quintero

    Universidad Nacional Abierta y a Distancia.

    Escuela de Ciencias Sociales, artes y humanidades.

    Programa de psicología.

    24 de septiembre del 2022


    2

    Introducción

    En el presente documento encontrará las soluciones de los ejercicios C presentados en la guía de


    actividades, métodos para probar la validez de argumentos, unidad 1, tarea 1. En este,
    primeramente se ve la solución del ejercicio 1: preposiciones y tablas de verdad, siendo este un
    ejercicio qué nos hace comprender que son las proposiciones y como se forman las tablas de verdad.
    Luego pasamos a la solución del ejercicio 2: Identificación de las reglas de la inferencia lógica, por
    medio de este ejercicio vemos las leyes de inferencia y nos damos una idea sobre lo que consisten.
    Después sigue el ejercicio 3, donde aplicamos las leyes de inferencia lógica, asegurando qué
    entendamos el tema correctamente. Finalmente, seguimos al ejercicio 4: problemas de aplicación,
    aquí se agrupan las ideas vistas en los ejercicios anteriores y solucionamos los ítems.

    Objetivos.

     Comprender la importancia de demostrar la validez de nuestros argumentos.


     Entender para que sirven las leyes de inferencia, las preposiciones y las tablas de verdad.
     Entender el método que es mejor para demostrar la validez de un argumento.

    Desarrollo de los ejercicios.

    Solución del ejercicio 1: Proposiciones y tablas de verdad.

    Ejercicio C.

    p: En las competencias ganan los mejores

    q: Las olimpiadas de matemáticas es una competencia

    r: Los estudiantes participan en las olimpiadas de matemáticas

    s: La Unad desarrolla las Olimpiadas de matemáticas

    (s ꓥ r) → (q → p)

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

    La Unad desarrolla las Olimpiadas de matemáticas y los estudiantes participan en estas olimpiadas
    de matemáticas, por lo tanto si las olimpiadas de matemáticas son una competencia entonces en las
    competencias ganan los mejores.
    3

    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 s (s ꓥ r) (q → p) (s ꓥ r) → (q
    → p)

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

    El resultado es una contradicción.

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


    4

    Enlace del video: https://youtu.be/zgv6AHd-vW4

    Solución del ejercicio 2: Identificación de las reglas de la inferencia lógica.

    Ejercicio C.

    Expresión simbólica:

    1. r∧s 2. pVq 3. pVq

    p→r p→t

    q→s q→t

    _____ _____ _____

    s rVs t

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

    1. Simplificación (S)
    2. Silogismo Disyuntivo (DS)
    3. Simplificación Disyuntiva (SD)

    Definir las proposiciones simples.

    p: Rose estudia en la UNAD.

    q: Rose se matriculó en el curso de pensamiento lógico.

    r: Rose sabe organizar su tiempo.

    s: Rose saca excelentes calificaciones en la UNAD.

    t: Rose paso el curso de forma excelente.

    Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

    1. Rose sabe organizar su tiempo y Rose saca excelentes calificaciones en la UNAD. Por lo
    tanto, Rose saco buenas calificaciones en la UNAD.
    2. Rose estudia en la UNAD o Rose se matriculó en el curso de pensamiento lógico. Sí Rose
    estudia en la UNAD, entonces Rose sabe organizar su tiempo. Sí Rose se matriculó en el
    curso de pensamiento lógico, entonces Rose saca excelentes calificaciones en la UNAD. Por
    lo tanto, Rose sabe organizar su tiempo o Rose saca excelentes calificaciones en la UNAD.
    3. Rose estudia en la UNAD o Rose se matriculó en el curso de pensamiento lógico. Sí Rose
    estudia en la UNAD, entonces Rose Mary paso el curso de forma excelente. Sí Rose se
    5

    matriculó en el curso de pensamiento lógico, entonces Rose paso el curso de forma


    excelente. Por lo tanto, Rose paso el curso de forma excelente.

    Solución del ejercicio 3: Aplicación de las reglas de la inferencia lógica.

    Ejercicio C:

    Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se mueven mucho más
    de lo que te imaginas.

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

    Lenguaje simbólico:

    p. Los ojos hacen más ejercicios que las piernas.

    q. Los músculos de nuestros ojos se mueven mucho más de lo que te imaginas.

    (p∧q)

    _____

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

    b. Ley de inferencia aplicada: Simplificación (S)

    Identificar la conclusión del argumento.

    c. Conclusión: Los ojos hacen más ejercicios que la piernas.

    Solución del ejercicio 4: Problemas de aplicación.

    C. Expresión simbólica:

    [(p∨q) ↔(¬p∧¬q)]→(p∧q)

    Premisas:

    P1: (p∨q)

    P2: (¬p∧¬q)

    Conclusión: (p∧q)

    Definir las proposiciones simples.

    p: Este año estoy estudiando en la UNAD.


    6

    q: Tengo un trabajo que conseguí a inicios de año.

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

    Este año estoy estudiando en la UNAD o tengo un trabajo que conseguí a inicios de año. Sí y solo sí
    no estoy estudiando en la UNAD este año, entonces además no tengo un trabajo que conseguí a
    inicios de año. Sí este año estoy estudiando en la UNAD, entonces también tengo un trabajo que
    conseguí a inicios de año.

    Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto
    del desarrollo manual).

    p q ¬p ¬q (p∨q (¬p∧¬q (p∧q (p∨q)↔(¬p∧¬ [(p∨q)↔(¬p∧¬q


    ) ) ) q) )] → (p∧q)
    V V F F V V V V V
    V F F V V F F F V
    F V V F V F F F V
    F F V V F F F V V

    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.

    Premisas:

    P1: (p∨q)

    P2: (¬p∧¬q)

    Conclusión: (p∧q)

    P3: ¬p ¬q Simplificación (S) P2.

    P4: p q Tollendo Ponens (TP) P1 y P3.


    7

    P5: p∧q Adjunción (A) P4.


    8

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy