Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Logica, Tarea 20

    Cargado por

    Rocio Veges
    5 vistas2 páginas
    El documento presenta cuatro temas de lógica proposicional: importación, exportación, transposición y equivalencia. En cada tema, se enuncia una tesis lógica y se justifica mediante una demostración formal divida en pasos. La importación y exportación tratan sobre las relaciones entre conjunciones y disyunciones. La transposición analiza el cambio de sujeto y predicado en una proposición. La equivalencia establece que dos proposiciones son equivalentes si implican una a la otra. Cada demostración sigue las reglas de

    Descripción original:

    Título original

    Logica, tarea 20

    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?

    Denunciar este documento
    El documento presenta cuatro temas de lógica proposicional: importación, exportación, transposición y equivalencia. En cada tema, se enuncia una tesis lógica y se justifica mediante una demostración formal divida en pasos. La importación y exportación tratan sobre las relaciones entre conjunciones y disyunciones. La transposición analiza el cambio de sujeto y predicado en una proposición. La equivalencia establece que dos proposiciones son equivalentes si implican una a la otra. Cada demostración sigue las reglas de

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    5 vistas2 páginas

    Logica, Tarea 20

    Cargado por

    Rocio Veges
    El documento presenta cuatro temas de lógica proposicional: importación, exportación, transposición y equivalencia. En cada tema, se enuncia una tesis lógica y se justifica mediante una demostración formal divida en pasos. La importación y exportación tratan sobre las relaciones entre conjunciones y disyunciones. La transposición analiza el cambio de sujeto y predicado en una proposición. La equivalencia establece que dos proposiciones son equivalentes si implican una a la otra. Cada demostración sigue las reglas de

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 2

    Tarea 20 Lincoln Strange Castro Dulce Maria

    Panting Balderrama Jose Alejandro


    Jueves Noviembre 15, 2018 Reyes Vega G. Tzite
    Toga Palayot Citlali
    I. Importación
    1.- A>(B&C)
    / (A&B)>C
    2.-|a. A&B Sup.
    |b. A E&(2a)
    |c. B&C E>(1, 2b)
    |d. C E&(2c)
    3.- (A&B)>C I>(2)
    II. Exportación
    1.- (A&B)>C 1.-A>(B>C)
    / A>(B>C) / (A&B)>C
    2.- |a. A Sup. 2.- |a. A&B Sup.
    |b. |ba. B Sup. |b. A E&(2a)
    |bb. A&B I&(2a, 2ba) |c. B>C E>(1, 2b)
    |bc. C E>(1, 2bb) |d. B E&(2a)
    |c, B>C I>(2b) |e. C E>(2c, 2d
    3.- A>(B>C) I>(2) 3.- (A&B)>C I>(2)
    III. Transposición
    1.- A>B 1.- ~B>~A
    / ~B>~A / A>B
    2.- |a. ~B Sup. 2.- |a. A Sup.
    |b. ~A M.T.(1, 2a) |b. B M.T.(1, 2a)
    3.- ~B>~A I>(2) 3.- A>B I>(2)
    Tarea 20 Lincoln Strange Castro Dulce Maria
    Panting Balderrama Jose Alejandro
    Jueves Noviembre 15, 2018 Reyes Vega G. Tzite
    Toga Palayot Citlali
    IV. Equiv. =/>
    1.- A=B 1.- (A>B)&(B>A)
    / (A>B)&(B>A) / A=B
    2.- |a. A Sup. 2.- A>B E&(1)
    |b. B E=(1, 2a) 3.- B>A E&(1)
    3.- A>B I>(2) 4.- A=B I=(2, 3)
    4.- |a. B Sup.
    |b. A E=(1, 4a)
    5.- B>A I>(4)
    6.- (A>B)&(B>A) I&(3, 5)

    También podría gustarte