Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 66 vistas

    Ejercicio 1 Unidad 1

    Cargado por

    Luisa Ortega León
    El documento presenta cuatro ejercicios sobre lógica proposicional y razonamiento deductivo. En el primer ejercicio, el estudiante analiza la validez de un argumento usando tablas de verdad. En el segundo, identifica reglas de inferencia lógica. En el tercero, aplica las reglas de inferencia. Y en el cuarto, analiza otro argumento usando tablas de verdad y leyes de inferencia.

    Copyright:

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

    Ejercicio 1 Unidad 1

    Cargado por

    Luisa Ortega León
    66 vistas7 páginas
    El documento presenta cuatro ejercicios sobre lógica proposicional y razonamiento deductivo. En el primer ejercicio, el estudiante analiza la validez de un argumento usando tablas de verdad. En el segundo, identifica reglas de inferencia lógica. En el tercero, aplica las reglas de inferencia. Y en el cuarto, analiza otro argumento usando tablas de verdad y leyes de inferencia.

    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 lógica proposicional y razonamiento deductivo. En el primer ejercicio, el estudiante analiza la validez de un argumento usando tablas de verdad. En el segundo, identifica reglas de inferencia lógica. En el tercero, aplica las reglas de inferencia. Y en el cuarto, analiza otro argumento usando tablas de verdad y 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
    66 vistas7 páginas

    Ejercicio 1 Unidad 1

    Cargado por

    Luisa Ortega León
    El documento presenta cuatro ejercicios sobre lógica proposicional y razonamiento deductivo. En el primer ejercicio, el estudiante analiza la validez de un argumento usando tablas de verdad. En el segundo, identifica reglas de inferencia lógica. En el tercero, aplica las reglas de inferencia. Y en el cuarto, analiza otro argumento usando tablas de verdad y 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
    de 7

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

    PENSAMIENTO LÓGICO MATEMÁTICO

    TAREA 1 MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

    MARIA DEL PILAR REAL RAMIREZ

    LUISA MARLENE ORTEGA LEON

    C.C 1’006.776.388

    12 DE MAYO DE 2021

    VILLAVICENCIO
    EJERCICIO 1: Proposiciones y Tablas de Verdad. La letra que escogí para desarrollar los
    ejercicios es la B.

    B. p: El robot Perseverance aterriza en el planeta rojo (Marte)

    q: El robot obtiene muestras de roca

    r: Su misión es la búsqueda de signos de vida microbiana

    [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

     Lenguaje Natural
    El robot Perseverance aterriza en el planeta rojo (Marte) y el robot obtiene muestras de
    roca. Y si el robot Perseverance aterriza en el planeta rojo (Marte) entonces su misión es
    la búsqueda de signos de vida microbiana, si su misión es la búsqueda de signos de vida
    microbiana sin embargo el robot obtiene muestras de roca.

     Tabla de Verdad Manual:

    p q r 𝒑∧𝒒 𝒑→𝒓 𝒓∧𝒒 (𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)

    V V V V V V V

    V V F V V V V

    V F V F F F V

    V F F F F V V

    F V V F V V V

    F V F F V V V

    F F V F V F V

    F F F F V V V

     Se Clasifica: Tautología.
     Tabla de Verdad Simulador UNAD:

     Link Video:

    EJERCICIO 2: Identificación de las reglas de la inferencia lógica. La letra que escogí para
    desarrollar los ejercicios es la B.

    B. Expresión simbólica

    p→q

    q→r

    p→r

     Ley de Inferencia de la Expresión: Ley Silogismo Hipotético (SH).

     Proposiciones Simples:
    p: Luisa estudia Administración de Empresas en la UNAD
    q: Luisa aprobó todos sus cursos
    r: Los fines de semana realiza sus trabajos
     Lenguaje Natural:
    Si Luisa estudia Administración de Empresas en la UNAD entonces Luisa aprobó todos
    sus cursos. Luisa aprobó todos sus cursos porque los fines de semana realiza sus trabajos.
    Si Luisa estudia Administración de Empresas en la UNAD por lo tanto los fines de
    semana realiza sus trabajos.

    a∧b

     Ley de Inferencia de la Expresión: Regla Adjunción (A).

     Proposiciones Simples:
    a: Luisa estudia Administración de Empresas en la UNAD
    b: Los fines de semana realiza sus trabajos

     Lenguaje Natural:
    Si Luisa estudia Administración de Empresas en la UNAD. Los fines de semana realiza
    sus trabajos. Luisa estudia Administración de Empresas en la UNAD sin embargo los
    fines de semana realiza sus trabajos.

    m→n
    ¬n
    ¬m

     Ley de Inferencia de la Expresión: Modus Tollens (TT).

     Proposiciones Simples:
    m: Luisa estudia Administración de Empresas en la UNAD
    n: Los fines de semana realiza sus trabajos
     Lenguaje Natural:
    Si Luisa estudia Administración de Empresas en la UNAD por lo tanto los fines de
    semana realiza sus trabajos. Los fines de semana no realiza sus trabajos. Luisa no estudia
    Administración de Empresas en la UNAD.

    EJERCICIO 3: Aplicación de las reglas de la inferencia lógica. La letra que escogí para
    desarrollar los ejercicios es la B.

    B. Si Colombia es un país megadiverso entonces Colombia presenta un gran número de


    ecosistemas. Colombia no presenta un gran número de ecosistemas

    a. Conclusión: Colombia es un país megadiverso._____

    b. Ley de inferencia aplicada: Modus Ponendo Ponens._________________

    c. Lenguaje simbólico: p → q
    ¬q
    p

    EJERCICIO 4: Problemas de aplicación. La letra que escogí para desarrollar los ejercicios es
    la B.

    B. Expresión simbólica: [(𝑝∧𝑟)∧(𝑞∨¬𝑟)∧(𝑝→𝑞)]→(𝑞)

    Premisas:
    P1: (𝑝∧𝒓)
    P2: (𝒒∨¬𝒓)
    P3: (𝑝→𝑞)

    Conclusión: 𝑞
     Proposiciones Simples:
    p: Luisa estudia Administración de Empresas en la UNAD
    q: Luisa aprobó todos sus cursos
    r: Los fines de semana realiza sus trabajos
     Lenguaje Natural:
    Si Luisa estudia Administración de Empresas en la UNAD sin embargo los fines de
    semana realizan sus trabajos. Y si Luisa aprobó todos sus cursos salvo que los fines de
    semana no realiza sus trabajos. Y si Luisa estudia Administración de Empresas en la
    UNAD por lo tanto Luisa aprobó todos sus cursos. Entonces Luisa aprobó todos sus
    cursos.

     Tabla de Verdad Manuel

    p r q ¬ 𝑝∧ 𝑞∨¬ (𝑝∧𝑟)∧(𝑞∨¬𝑟 (𝑝→𝑞 [(𝑝∧𝑟)∧(𝑞∨¬𝑟)∧(𝑝→𝑞) [(𝑝∧𝑟)∧(𝑞∨¬𝑟)∧(𝑝→𝑞)]→(𝑞


    𝑟 𝑟 𝑟 ) ) ] )
    V V V F V V V V V V
    V V F F V F F F F V
    V F V V F V F V F V
    V F F V F V F F F V
    F V V F F V F V F V
    F V F F F F F V F V
    F F V V F V F V F V
    F F F V F V F V F V

     Tabla de Verdad Simulador UNAD

     Demostración de la Validez del Argumento Mediante las Leyes de Inferencia:


    P1: 𝑝∧𝑟
    P2: 𝑞∨¬𝑟
    P3: 𝑝→𝑞
    Conclusión: 𝑞

    P4: 𝑝 Simplificación (1)


    P5: 𝑞 Modus Ponendo Ponens (3, 4)

    También podría gustarte