Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 67 vistas

    Ejercicio 2

    Cargado por

    adriana parra medina
    El documento presenta un argumento lógico con cuatro premisas (P1, P2, P3 y P4) y una conclusión (C) sobre una estudiante llamada Adriana. Se define cada proposición en términos de si Adriana estudia, ve ciertas materias, desarrolla ejercicios o se gradúa. Luego, se genera una tabla de verdad y se demuestra la validez del argumento usando las leyes de inferencia lógica.

    Copyright:

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

    Ejercicio 2

    Cargado por

    adriana parra medina
    67 vistas3 páginas
    El documento presenta un argumento lógico con cuatro premisas (P1, P2, P3 y P4) y una conclusión (C) sobre una estudiante llamada Adriana. Se define cada proposición en términos de si Adriana estudia, ve ciertas materias, desarrolla ejercicios o se gradúa. Luego, se genera una tabla de verdad y se demuestra la validez del argumento usando las leyes de inferencia lógica.

    Descripción original:

    ejercicio matematicas

    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 un argumento lógico con cuatro premisas (P1, P2, P3 y P4) y una conclusión (C) sobre una estudiante llamada Adriana. Se define cada proposición en términos de si Adriana estudia, ve ciertas materias, desarrolla ejercicios o se gradúa. Luego, se genera una tabla de verdad y se demuestra la validez del argumento usando las leyes de inferencia lógica.

    Copyright:

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

    Ejercicio 2

    Cargado por

    adriana parra medina
    El documento presenta un argumento lógico con cuatro premisas (P1, P2, P3 y P4) y una conclusión (C) sobre una estudiante llamada Adriana. Se define cada proposición en términos de si Adriana estudia, ve ciertas materias, desarrolla ejercicios o se gradúa. Luego, se genera una tabla de verdad y se demuestra la validez del argumento usando las leyes de inferencia lógica.

    Copyright:

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

    a.

    Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)

    Premisas:
    P1: 𝑝 → 𝑞
    P2: 𝑞 → 𝑟
    P3: 𝑝 ∧ 𝑠

    Conclusión: 𝒓 Adriana se gradua con honores

     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= adriana estudia en la unad
    q= adriana ve la materia de lógica matematica
    r= adriana se gradua con honores
    s= adriana desarrolla los ejercicios

     Remplazar las variables expresadas simbólicamente y llevarlas al


    lenguaje natural. Las proposiciones simples deben ser de autoría de
    cada estudiante.

    si adriana estudia en la unad entonces ve la materia de lógica


    matemática además si ve la materia de lógica matemática
    entonces adriana se gradua con honores también si adriana
    estudia en la unad y adriana desarrolla los ejercicios entonces
    adriana se gradua con honores.

     Generar una tabla de verdad con el simulador Truth Table a partir


    del lenguaje simbólico (El estudiante encontrará la Guía para el uso
    de recursos educativos Simulador Lógica UNAD, en el Entorno de
    Aprendizaje Práctico, así como el link de acceso al recurso)

     Generar una tabla de verdad manualmente a partir del lenguaje


    simbólico (En Word, Excel o foto del desarrollo manual).
    p q r s [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)
    V V V V V v V V V V V V V V V V V
    V V V F V v V V V V V V V V F V V
    V V F V V v V V V V F V V V V V F
    V V F F V v V V V V F V V V F V F
    V F V V V v F V F V V V F V V V V
    V F V F V v F V F V V V F F F V V
    V F F V V v F V F F F V F V V V F
    V F F F V v F V F F F V F F F V F
    F V V V F v V V V V V V V V V V V
    F V V F F v V V V V V V V V F V V
    F V F V F v V V V V F V V V V V F
    F V F F F v V V V V F V V V F V F
    F F V V F f F V F V V V F V V V V
    F F V F F f F V F V V V F F F V V
    F F F V F f F F F F F V F V V V F
    F F F F F f F F F F F V F V f V F
    v
    Demostración de la validez del argumento mediante las leyes de la
    inferencia lógica
    P1: p→q
    P2: q→r
    P3: p∧s
    C: r
    P4: p simplificación 3
    P5: q MPP 1,4
    Conclusion ( r ) MPP 2,5

    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