Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 993 vistas

    Ejemplos para Hacer en Clase (Doble Negación y Modus Tollendo Tollens)

    Cargado por

    Angela Astudillo
    El documento presenta ejemplos de conclusiones lógicas derivadas de premisas mediante el uso de la doble negación. Luego, pide demostrar cinco conclusiones lógicas derivadas de premisas dadas, numerando cada línea de la demostración y especificando la regla lógica utilizada.

    Copyright:

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

    Ejemplos para Hacer en Clase (Doble Negación y Modus Tollendo Tollens)

    Cargado por

    Angela Astudillo
    993 vistas8 páginas
    El documento presenta ejemplos de conclusiones lógicas derivadas de premisas mediante el uso de la doble negación. Luego, pide demostrar cinco conclusiones lógicas derivadas de premisas dadas, numerando cada línea de la demostración y especificando la regla lógica utilizada.

    Título original

    2. Ejemplos para hacer en clase (Doble negación y Modus Tollendo Tollens)

    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 ejemplos de conclusiones lógicas derivadas de premisas mediante el uso de la doble negación. Luego, pide demostrar cinco conclusiones lógicas derivadas de premisas dadas, numerando cada línea de la demostración y especificando la regla lógica utilizada.

    Copyright:

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

    Ejemplos para Hacer en Clase (Doble Negación y Modus Tollendo Tollens)

    Cargado por

    Angela Astudillo
    El documento presenta ejemplos de conclusiones lógicas derivadas de premisas mediante el uso de la doble negación. Luego, pide demostrar cinco conclusiones lógicas derivadas de premisas dadas, numerando cada línea de la demostración y especificando la regla lógica utilizada.

    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 8

    EJEMPLOS

    ¿Qué conclusión se puede sacar de cada una de las siguientes por


    la doble negación?
    1. Todos los mamíferos son animales de sangre caliente.
    Conclusión:
    No ocurre que, todos los mamíferos no son animales de sangre caliente.

    2. No ocurre que el núcleo de un átomo no está cargado positivamente.


    Conclusión: El núcleo de un átomo está cargado positivamente.

    3. El granito es un tipo de mineral ígneo.


    Conclusión: No ocurre que, el granito no es un tipo de mineral ígneo.

    4. En los Estados Unidos las elecciones presidenciales tienen lugar cada cuatro años.
    Conclusión: Es falso que, en los Estados Unidos las elecciones presidenciales no
    tienen lugar cada cuatro años.
    5. No ocurre que un quinto no es el veinte por ciento
    Conclusión: Un quinto es el veinte por ciento.

    6. Si el arriendo se mantiene válido, entonces el dueño es responsable de las


    reparaciones. El dueño no es responsable de las reparaciones.
    Conclusión: El arriendo no se mantiene válido.

    7. Si llovió la pasada noche, entonces las pistas se han limpiado. Las pistas no se han
    limpiado.
    Conclusión: No llovió la pasada noche

    8. José no es mi hermano. Si Susana es mi hermana, entonces José es mi hermano.


    Conclusión: Susana no es mi hermana.
    Demostrar que las conclusiones son consecuencia lógica de las
    premisas dadas en cada uno de los ejemplos que siguen. Dar la
    demostración completa; es decir, se ha de numerar cada línea,
    indicar la abreviatura de la regla usada, y los números de las líneas
    de las que se ha deducido cada línea en la demostración.
     Demostrar: ⁓⁓T
    (1) S → T P
    (2) S P
    (3) T PP1,2
    (4) ⁓⁓T DN 3
     Demostrar: B
    (1) ⁓A P
    (2) ⁓A →⁓⁓B P
    (3) ⁓⁓B PP1,2
    (4) B DN 3

     Demostrar: G
    (1) H →⁓⁓G P
    (2) H P
    (3) ⁓⁓G PP 1,2
    (4) G DN3
     Demostrar ⁓R
    (1) R →S P
    (2) ⁓S P
    (3) ⁓R TT 1,2

     Demostrar ⁓ (Q ˄ R)
    (1) Q ˄ R → S P
    (2) ⁓S P
    (3) ⁓(Q ˄R) TT 1,2
     Demostrar ⁓⁓R
    (1) P→ Q P
    (2) ⁓Q P
    (3) ⁓P → R P
    (4) ⁓P TT1,2
    (5) R PP 3,4
    (6) ⁓⁓R DN 5

    También podría gustarte