Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 99 vistas

    234 Tarea 1 Ejercicio 1-2-3

    Cargado por

    melko
    Este documento presenta tres ejercicios sobre lógica proposicional. El primer ejercicio involucra el desarrollo de una tabla de verdad para una proposición compuesta. El segundo ejercicio implica identificar las reglas de inferencia lógica subyacentes a varias expresiones simbólicas. El tercer ejercicio requiere aplicar las reglas de inferencia para probar un argumento, identificar su conclusión y expresarlo formalmente.

    Copyright:

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

    234 Tarea 1 Ejercicio 1-2-3

    Cargado por

    melko
    99 vistas4 páginas
    Este documento presenta tres ejercicios sobre lógica proposicional. El primer ejercicio involucra el desarrollo de una tabla de verdad para una proposición compuesta. El segundo ejercicio implica identificar las reglas de inferencia lógica subyacentes a varias expresiones simbólicas. El tercer ejercicio requiere aplicar las reglas de inferencia para probar un argumento, identificar su conclusión y expresarlo formalmente.

    Título original

    200611_234_Tarea_1_Ejercicio_1-2-3

    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 tres ejercicios sobre lógica proposicional. El primer ejercicio involucra el desarrollo de una tabla de verdad para una proposición compuesta. El segundo ejercicio implica identificar las reglas de inferencia lógica subyacentes a varias expresiones simbólicas. El tercer ejercicio requiere aplicar las reglas de inferencia para probar un argumento, identificar su conclusión y expresarlo formalmente.

    Copyright:

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

    234 Tarea 1 Ejercicio 1-2-3

    Cargado por

    melko
    Este documento presenta tres ejercicios sobre lógica proposicional. El primer ejercicio involucra el desarrollo de una tabla de verdad para una proposición compuesta. El segundo ejercicio implica identificar las reglas de inferencia lógica subyacentes a varias expresiones simbólicas. El tercer ejercicio requiere aplicar las reglas de inferencia para probar un argumento, identificar su conclusión y expresarlo formalmente.

    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 4

    DESARROLLO DE EJERCICIOS

    1. Ejercicio 1: Proposiciones y Tablas de Verdad


    Desarrollo Ejercicio 1 – Literal A

    p: La marihuana es legal en Colombia


    q: En Colombia disminuye el microtráfico
    r: En Colombia disminuye el delito de hurto

    p → (q ^ r)

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

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

    Si la Marihuana es legal en Colombia, Entonces En Colombia disminuye el microtráfico y En


    Colombia disminuye el delito de hurto.

     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 (q ^ r) p→(q ^ r)
    V V V V V
    V V F F F
    V F V F F
    V F F V F
    F V V V V
    F V F F V
    F F V F V
    F F F V V

    Así las cosas esto es una CONTRADICCION….

     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.
     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 documento de identificación, ocultando el número del mismo (En
    la imagen se debe ver claramente el nombre y apellidos del estudiante).

    A continuación adjunto el enlace correspondiente al video solicitado:


    https://youtu.be/jqGyPloEcv4

    2. Ejercicio 2: Identificación de las Reglas de Inferencia


    Desarrollo Ejercicio 2 – Literal A

    A. Expresión simbólica

    p→q r p ∨ ¬q
    p s q

    q r∧s p

    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.

    Las leyes que representan a cada expresión son:


    - Modus Ponendo Ponens (PP)

    - Adjunción (A)

    - Modus Tollendo Ponens (TP)

     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: Carlos estudia en la UNAD
    • q: La UNAD es una Universidad Pública

    “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”.

    Mis proposiciones son las siguientes:

    - p: Andrés estudio en el SENA


    - q: El SENA es una Institución Educativa Publica
    - r: Andrés se graduó como Mecánico Industrial
    - s: Andrés ha tenido trabajo, gracias a su estudio en el SENA.

    3. Ejercicio 3: Aplicación de las Reglas de Inferencia Lógica


    Desarrollo Ejercicio 3 – Literal A

    A. Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1 entonces es


    igual a la suma 5+2.

    p: Si la Suma es 4+3
    q: Es igual a la Suma de 6+1
    r: Es igual a la suma de 5+2

    A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
     Identificar la conclusión del argumento.

    a. Conclusión: _La Suma Siempre dará como resultado 7_

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

    b. Ley de inferencia aplicada: _Esta es la Ley de Silogismo Hipotético_

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


    c. Lenguaje simbólico: p q
    q r
    _________
    p r

    También podría gustarte