Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 574 vistas

    Ejercicio C Unidad 1

    Cargado por

    Paula Mieles
    Este documento presenta 4 ejercicios sobre proposiciones lógicas y tablas de verdad. El primer ejercicio pide generar una tabla de verdad manualmente y con un simulador. El segundo identifica reglas de inferencia lógica expresadas simbólicamente. El tercero aplica estas reglas a un argumento. El cuarto genera una tabla de verdad y demuestra la validez de un argumento usando leyes de inferencia.

    Copyright:

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

    Ejercicio C Unidad 1

    Cargado por

    Paula Mieles
    574 vistas5 páginas
    Este documento presenta 4 ejercicios sobre proposiciones lógicas y tablas de verdad. El primer ejercicio pide generar una tabla de verdad manualmente y con un simulador. El segundo identifica reglas de inferencia lógica expresadas simbólicamente. El tercero aplica estas reglas a un argumento. El cuarto genera una tabla de verdad y demuestra la validez de un argumento usando leyes de inferencia.

    Título original

    Ejercicio c Unidad 1

    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 4 ejercicios sobre proposiciones lógicas y tablas de verdad. El primer ejercicio pide generar una tabla de verdad manualmente y con un simulador. El segundo identifica reglas de inferencia lógica expresadas simbólicamente. El tercero aplica estas reglas a un argumento. El cuarto genera una tabla de verdad y demuestra la validez de un argumento usando leyes de inferencia.

    Copyright:

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

    Ejercicio C Unidad 1

    Cargado por

    Paula Mieles
    Este documento presenta 4 ejercicios sobre proposiciones lógicas y tablas de verdad. El primer ejercicio pide generar una tabla de verdad manualmente y con un simulador. El segundo identifica reglas de inferencia lógica expresadas simbólicamente. El tercero aplica estas reglas a un argumento. El cuarto genera una tabla de verdad y demuestra la validez de un argumento usando leyes de inferencia.

    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 5

    Ejercicio 1: Proposiciones y tablas de verdad

    Descripción del ejercicio:


    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
    ( p ∧q) ⟷ r
     Escribir la proposición compuesta propuesta en un lenguaje natural
    Si Sofía se inscribió en la UNAD y estudia música si y solo si a Sofía le gusta el aprendizaje
    autónomo.

     Generar una tabla de verdad manualmente


    p q r ( p ∧q) ( p ∧q) ⟷ r
    V V V V V
    V V F V F
    V F V F F
    V F F F V
    F V V F F
    F V F F V
    F F V F F
    F F F F V

    Se clasifica como contingencia

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

     Link del vídeo


    Ejercicio 2: Identificación de las reglas de la inferencia lógica
    Descripción del ejercicio:
    C. Expresión simbólica
    ¬s→r
    r →t
    ¬ s →t
     Ley de inferencia que representa cada expresión: Silogismo Hipotético (SH)
     Definir las proposiciones simples:
    r: Karolays es estudiante unadista
    t: Karolays estudia Comunicación Social
    ¬ s: No asiste a los Cipas o Bearling
     Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
    simbólico:
    Si No asiste a los Cipas o Bearling entonces Karolays es estudiante Unadista.
    Si Karolays es estudiante Unadista entonces estudia Comunicación Social.
    Por lo tanto, No asiste a los Cipas o Bearling entonces estudia Comunicación Social

    p
    ¬q
    p ⋀ ¬q

     Ley de inferencia que representa cada expresión: conjunción


     Definir las proposiciones simples:
    P: Karolays estudia Comunicación Social
    ¬ q: Karolays no es estudiante unadista
     Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
    simbólico:
    Karolays estudia Comunicación Social.
    Karolays no es estudiante unadista
    Por lo tanto, Karolays estudia Comunicación Social y no es estudiante unadista

    r ⋁¬s
    s
    r

     Ley de inferencia que representa cada expresión: Modus tollendo ponens (MTP)
     Definir las proposiciones simples:
    r: Karolays estudia Comunicación Social
    s: asiste a los Cipas o Bearling
    ¬ s: No asiste a los Cipas o Bearling
     Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
    simbólico:
    Karolays estudia Comunicación Social o No asiste a los Cipas o Bearling.
    Asiste a los Cipas o Bearling.
    Por lo tanto, Karolays estudia Comunicación Social.

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


    Descripción del ejercicio:
    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.
    Proposiciones simples:
    P: En el almuerzo de hoy comeré mojarra frita con arroz de coco.
    q: En el almuerzo de hoy comeré un mote de ñame con suero.
    ¬ q: En el almuerzo de hoy no comeré un mote de ñame con suero.

    a. Lenguaje simbólico:
    p⋁ q
    ¬q
    p

    b. Ley de inferencia aplicada: Modus tollendo ponens (MTP)


    c. Conclusión: En el almuerzo de hoy comeré mojarra frita con arroz de coco.

    Ejercicio 4: Problemas de aplicación


    Descripción del ejercicio:
    C. Expresión simbólica:

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


    Premisas:
    P1: p →¬ q
    P2: q ∨ ¬r
    P3: r
    Conclusión: ¬ p

     Definir las proposiciones simples


    p: Karolays estudia Comunicación Social
    ¬ p : Karolays no estudia Comunicación Social
    q : asiste a los CIPAS Y Bearling
    ¬ q: No asiste a los CIPAS Y Bearling
    r: Cursa el noveno semestre
    ¬ r : No cursa el noveno semestre

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


    Si Karolays estudia Comunicación Social entonces no asiste a los CIPAS Y Bearling.
    Si asiste a los CIPAS Y Bearling o no cursa el noveno semestre. Cursa el noveno semestre.
    Por lo tanto, Karolays no estudia Comunicación Social.

     Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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

    v v v f f f f v f v
    v v f f f v f v f v
    v f v f v f v f f v
    v f f f v v v v f v
    f v v v f f v v v v
    f v f v f v v v f v
    f f v v v f v f f v
    f f f v v v v v f 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: q ∨ ¬r
    P3: r
    Conclusión: ¬ p
    _________________
    P4: q…… (Modus tollendo ponens (MTP) entre P2 Y P3)
    q ∨ ¬r
    r
    q
    P5: ¬ p ..... (Modus tollendo tollens (MTT) entre P1 y P4)

    p →¬ q
    q → Comprobando así que el razonamiento es válido
    ¬p

    También podría gustarte