Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 127 vistas

    Presentacion II Tautologias Contradicciones y Razonamientos Validos

    Cargado por

    EstuardoRK
    El documento explica conceptos lógicos como tautologías, contradicciones y razonamientos válidos. Define una tautología como una expresión lógica que es verdadera para todas las combinaciones posibles en una tabla de verdad, y una contradicción como una expresión falsa para todas las asignaciones. Explica que una expresión es una contingencia si no es ni tautología ni contradicción. Luego analiza ejemplos de tautologías y contradicciones y cómo estas se pueden usar para demostrar la validez de argumentos l

    Copyright:

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

    Presentacion II Tautologias Contradicciones y Razonamientos Validos

    Cargado por

    EstuardoRK
    127 vistas24 páginas
    El documento explica conceptos lógicos como tautologías, contradicciones y razonamientos válidos. Define una tautología como una expresión lógica que es verdadera para todas las combinaciones posibles en una tabla de verdad, y una contradicción como una expresión falsa para todas las asignaciones. Explica que una expresión es una contingencia si no es ni tautología ni contradicción. Luego analiza ejemplos de tautologías y contradicciones y cómo estas se pueden usar para demostrar la validez de argumentos l

    Descripción original:

    Logica de Sistemas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento explica conceptos lógicos como tautologías, contradicciones y razonamientos válidos. Define una tautología como una expresión lógica que es verdadera para todas las combinaciones posibles en una tabla de verdad, y una contradicción como una expresión falsa para todas las asignaciones. Explica que una expresión es una contingencia si no es ni tautología ni contradicción. Luego analiza ejemplos de tautologías y contradicciones y cómo estas se pueden usar para demostrar la validez de argumentos l

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    127 vistas24 páginas

    Presentacion II Tautologias Contradicciones y Razonamientos Validos

    Cargado por

    EstuardoRK
    El documento explica conceptos lógicos como tautologías, contradicciones y razonamientos válidos. Define una tautología como una expresión lógica que es verdadera para todas las combinaciones posibles en una tabla de verdad, y una contradicción como una expresión falsa para todas las asignaciones. Explica que una expresión es una contingencia si no es ni tautología ni contradicción. Luego analiza ejemplos de tautologías y contradicciones y cómo estas se pueden usar para demostrar la validez de argumentos l

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 24

    Tautologas, Contradicciones y

    Razonamientos Vlidos

    Recordemos
    Una expresin lgica es una tautologa si
    es
    verdadera
    para
    todas
    las
    combinaciones posibles en una tabla de
    verdad.
    Una expresin lgica es una contradiccin
    si es falsa para todas las asignaciones
    posibles en una tabla de verdad.
    Una expresin lgica es una contingencia
    si no es ni una tautologa ni una
    contradiccin.

    Tautologas

    P
    V

    Q
    V

    PQ
    V

    (PQ)
    F

    (PQ)v Q
    V

    Vemos algunos Ejemplos

    P
    V

    P
    F

    PvP
    V

    Idea Interesante
    Si A es una tautologa que contiene a la
    variable P, se puede crear una nueva
    expresin
    sustituyendo
    todas
    las
    apariciones de P por una expresin
    arbitraria.
    La expresin resultante ser tambin una
    tautologa

    Ejemplo
    Supongamos

    que tenemos la expresin

    PQ
    Tomemos como ejemplo la ley del medio
    excluido
    Es decir
    PvP
    De lo expuesto en la idea anterior la
    expresin
    (P Q) v (P Q)
    Ser tambin una tautologa.

    Probemos
    P

    PQ

    (PQ) (PQ) v (PQ)

    Tautologas y Razonamientos Vlidos


    Un argumento lgico es vlido si la
    conclusin se deduce lgicamente de las
    premisas.
    Si todas las premisas son verdaderas
    (ejemplo, la conjuncin de todas las premisas
    produce verdadero), entonces la conclusin
    debe ser verdadera.
    Si la conjuncin de las premisas es A y si la
    conclusin es C, entonces A C debe ser
    verdadera para todas las asignaciones
    posibles, esto es, debe ser una tautologa.

    Ejemplo
    Estudiemos el siguiente razonamiento
    Premisa 1: Jos estuvo en la iglesia a la hora
    indicada o Jos miente.
    Premisa 2: Jos no miente.
    Conclusin: Jos estuvo en la iglesia a la hora
    indicada.

    En la primera premisa existen dos


    proposiciones simples:
    P : Jos estuvo en la iglesia a la hora indicada
    Q: Jos miente
    Esa premisa en lenguaje de lgica
    proposicional la podemos escribir
    PvQ

    Tomando como base lo anterior el


    razonamiento completo lo podemos
    escribir de la siguiente manera segn la
    lgica proposicional
    Premisa 1: P v Q
    Premisa 2: Q
    Conclusin: P
    Es esta una forma de razonamiento vlida?

    Segn lo planteado esta es una forma de


    razonamiento valida, si la conjuncin de las
    premisas implicacin la conclusin es una
    tautologa.
    Es decir, si la expresin

    ((P v Q) Q) P
    Es una tautologa

    P Q P v Q Q

    (P v Q) Q ((P v Q) Q ) P

    Por lo tanto al ser esto una tautologa el razonamiento es


    valido.
    QED

    Ejercicio
    Muestre utilizando la forma expuesta
    anteriormente, si el siguiente es un
    razonamiento vlido

    Si no me despierto, no puedo ir a la fiesta.


    Si no voy a la fiesta, no me divertir.
    Entonces, si no me despierto no me
    divertir.

    Contradicciones
    Una

    expresin lgica es una contradiccin


    si esta produce falso para todas las
    combinaciones posibles en la tabla de
    verdad.
    Por ejemplo
    PP
    P
    V
    F

    P
    F
    V

    PP
    F
    F

    Ideas Importantes
    Las contradicciones estn estrechamente
    relacionadas con las tautologas. De hecho si
    A es una tautologa A es una contradiccin
    y viceversa.
    Como las tautologas las contradicciones
    pueden convertirse en esquemas.- Esto
    significa por ejemplo que
    (P Q) (P Q)
    Es una contradiccin porque sigue el
    esquema
    P P

    Uso para demostracin de Validez


    Las contradicciones pueden utilizarse
    para demostrar que los argumentos
    lgicos son validos.
    Para esto, observemos que un argumento
    no puede ser valido si todas las premisas
    son verdaderas pero la conclusin es
    falsa.

    En otras palabras, es imposible que la negacin


    de la conclusin y de las premisas sean
    verdaderas simultneamente. Por lo tanto, la
    conjuncin de las premisas con la negacin de la
    conclusin debe ser siempre falsa, es decir, debe
    ser una contradiccin.
    Para esto utilicemos el mismo ejemplo:
    Demostremos que el siguiente razonamiento es
    valido:
    Premisa 1: Jos estuvo en la iglesia a la hora indicada o
    Jos miente.
    Premisa 2: Jos no miente.
    Conclusin: Jos estuvo en la iglesia a la hora indicada.

    En la primera premisa existen dos


    proposiciones simples:
    P : Jos estuvo en la iglesia a la hora indicada
    Q: Jos miente
    Esa premisa en lenguaje de lgica
    proposicional la podemos escribir
    PvQ

    Tomando como base lo anterior el


    razonamiento completo lo podemos
    escribir de la siguiente manera segn la
    lgica proposicional
    Premisa 1: P v Q
    Premisa 2: Q
    Conclusin: P
    Es esta una forma de razonamiento vlida?

    Segn lo planteado esta es una forma de


    razonamiento valida, si la conjuncin de las
    premisas conjuncin la negacin de la
    conclusin es una contradiccin.
    Es decir, si la expresin

    ((P v Q) Q) P
    Es una contradiccin

    Q P v Q Q

    (P v Q) Q

    P ((P v Q) Q ) P

    Por lo tanto al ser esto una contradiccin el razonamiento es


    valido.
    QED

    Ejercicio
    Muestre utilizando la forma expuesta
    anteriormente, si el siguiente es un
    razonamiento vlido

    Si no me despierto, no puedo ir a la fiesta.


    Si no voy a la fiesta, no me divertir.
    Entonces, si no me despierto no me
    divertir.

    PREGUNTAS
    Y
    RESPUESTA

    También podría gustarte