Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 143 vistas

    Taller 11 Matemáticas Resueltos

    Cargado por

    angie paola balanta possu
    Este documento presenta 7 demostraciones lógicas diferentes que muestran que una conclusión se deduce válidamente de un conjunto de premisas dadas. Cada demostración contiene proposiciones, reglas de inferencia utilizadas y muestra que la conclusión sigue necesariamente de las premisas de acuerdo con las reglas lógicas.

    Copyright:

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

    Taller 11 Matemáticas Resueltos

    Cargado por

    angie paola balanta possu
    143 vistas3 páginas
    Este documento presenta 7 demostraciones lógicas diferentes que muestran que una conclusión se deduce válidamente de un conjunto de premisas dadas. Cada demostración contiene proposiciones, reglas de inferencia utilizadas y muestra que la conclusión sigue necesariamente de las premisas de acuerdo con las reglas lógicas.

    Título original

    taller 11 matemáticas resueltos

    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 7 demostraciones lógicas diferentes que muestran que una conclusión se deduce válidamente de un conjunto de premisas dadas. Cada demostración contiene proposiciones, reglas de inferencia utilizadas y muestra que la conclusión sigue necesariamente de las premisas de acuerdo con las 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
    143 vistas3 páginas

    Taller 11 Matemáticas Resueltos

    Cargado por

    angie paola balanta possu
    Este documento presenta 7 demostraciones lógicas diferentes que muestran que una conclusión se deduce válidamente de un conjunto de premisas dadas. Cada demostración contiene proposiciones, reglas de inferencia utilizadas y muestra que la conclusión sigue necesariamente de las premisas de acuerdo con las 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
    de 3

    Presentado por:

    Karen julieth medina fajardo


    Karolina godoy castro
    Ruth stella cantillo viafara
    Angie paola balanta possu

    Demostrar que la conclusión es consecuencia de las premisas dadas. (Trabajar como en los
    ejemplos anteriores: con numeración, letras proposicionales, reglas utilizadas, etc)
    1. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de
    familia. Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene
    autoridad. Esta es una sociedad matriarcal. Por tanto, el padre no tiene autoridad.
    P: La sociedad es matriarcal
    Q: Hermano de la madre es cabeza de familia
    R: Padre no tiene autoridad
    P1: P →Q
    P2: Q → R
    P3: P
    Conclusión: R
    4. P → R S . H en 1 y 2
    5. R M . P . P en 3 y 4
    Según las reglas de inferencia y validez la conclusión es consecuencia de las premisas

    2. Esta roca es granito. Si esta roca es granito entonces no es una roca sedimentaria. Esta
    roca es una roca ígnea o es una roca sedimentaria. Por tanto, esta roca es una roca
    ígnea.
    P: la roca es granito
    Q: no es una roca sedimentaria
    R: roca ígnea
    P1: P
    P2: P →Q
    P3: R ∨ Q
    Conclusión: R
    4. Q M . P . P en 1 y 2
    5. R M . T . P en 3 y 4
    Según las reglas de inferencia y validez la conclusión es consecuencia de las premisas
    3. Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el
    segundo, entonces A no ganó la carrera. Si D fue el segundo, entonces C no fue el
    segundo. A ganó la carrera. Entonces, D no fue el segundo.
    A: A ganó la carrera
    B: B fue el segundo
    C: C fue el segundo
    D: D fue el segundo
    P1: A → ( B ∨C )
    P2: B→ A
    P3: D → C
    P4: A
    Conclusión: D
    5. B∨ C M . P . P en 1 y 4
    6. B M . T .T en 2 y 4
    7. C M .T . P en 5 y 6
    8. D M . T . T en 3 y 7
    Según las reglas de inferencia y validez la conclusión es consecuencia de las premisas
    4. Demostrar: ∼ 𝑆
    𝑃1: 𝑇 → 𝑅
    𝑃2: 𝑅 → ∼S
    𝑃3: 𝑇
    4. T → S S . H en 1 y 2
    5. S M . P . P en 3 y 4
    Según las reglas de inferencia y validez queda demostrado
    5. Demostrar: 𝑇
    𝑃1: 𝑃 → 𝑆
    𝑃2: ∼ 𝑆
    𝑃3: ∼ 𝑃 → 𝑇
    4. P M . T . T en 1 y 2
    5. P M . P. P en 3 y 4
    Según las reglas de inferencia y validez queda demostrado
    6. Demostrar: 𝑆 ∧ 𝑇
    𝑃1: 𝑃 → 𝑆
    𝑃2: 𝑃 → 𝑇
    𝑃3: 𝑃
    4. S M . P . P en 1 y 3
    5. T M . P . P en2 y 3
    6. S ∧T Conjuncion 4 y 5
    Según las reglas de inferencia y validez queda demostrado
    7. Demostrar: 𝑆
    𝑃1: 𝑃 ∨ 𝑄
    𝑃2: ∼ 𝑄
    𝑃3: 𝑃 → 𝑆
    4. P M . T . P en1 y 2
    5. S M . P . P en 3 Y 4
    Según las reglas de inferencia y validez queda demostrado

    También podría gustarte