Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 121 vistas

    Tautologias

    Cargado por

    danielgoba84
    Este documento explica las tautologías y contradicciones en lógica. Define una tautología como una expresión lógica que es verdadera para todos los valores de verdad posibles, mientras que una contradicción es falsa para todos los valores. Incluye ejemplos de tautologías como (p ^ q) → (p ∨ r) y de contradicciones. También lista algunas tautologías fundamentales como la ley del medio excluido y modus ponens.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PS, PDF, TXT o lea en línea desde Scribd

    Tautologias

    Cargado por

    danielgoba84
    121 vistas4 páginas
    Este documento explica las tautologías y contradicciones en lógica. Define una tautología como una expresión lógica que es verdadera para todos los valores de verdad posibles, mientras que una contradicción es falsa para todos los valores. Incluye ejemplos de tautologías como (p ^ q) → (p ∨ r) y de contradicciones. También lista algunas tautologías fundamentales como la ley del medio excluido y modus ponens.

    Título original

    tautologias

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PS, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento explica las tautologías y contradicciones en lógica. Define una tautología como una expresión lógica que es verdadera para todos los valores de verdad posibles, mientras que una contradicción es falsa para todos los valores. Incluye ejemplos de tautologías como (p ^ q) → (p ∨ r) y de contradicciones. También lista algunas tautologías fundamentales como la ley del medio excluido y modus ponens.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PS, PDF, TXT o lea en línea desde Scribd
    Descargar como ps, pdf o txt
    121 vistas4 páginas

    Tautologias

    Cargado por

    danielgoba84
    Este documento explica las tautologías y contradicciones en lógica. Define una tautología como una expresión lógica que es verdadera para todos los valores de verdad posibles, mientras que una contradicción es falsa para todos los valores. Incluye ejemplos de tautologías como (p ^ q) → (p ∨ r) y de contradicciones. También lista algunas tautologías fundamentales como la ley del medio excluido y modus ponens.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PS, PDF, TXT o lea en línea desde Scribd
    Descargar como ps, pdf o txt
    Está en la página 1de 4

    Tautologias Y Contradicciones http://www.mitecnologico.com/Main/TautologiasY...

    Tautologias Y Contradicciones

    Tema 1.9
    Definición:
    Una tautología es una expresión lógica
    que es verdadera para todos los posibles
    valores de verdad de sus componentes
    atómicos.

    En lógica se entiende por tautología


    aquella proposición cuya tabla de
    verdad da siempre el valor de verdad V
    en todos los casos posibles de los
    valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo más sencillo: la supuesta explicación
    de algo mediante una perogrullada, la “explicación” o definición de algo mediante una ligera variación de palabras que tienen
    en conjunto el mismo significado ya conocido de lo supuestamente explicado (Ej.: “Existe el calor porque lo provoca el
    calórico”).

    Tautología: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es válido.

    Una contradiccion es uan expresion logica que es falsa para todos sus valores.

    El procedimiento de la demostración por contradicción es semejante a la que se realizó por el método directo con la
    diferencia de que las líneas iniciales de dicha demostración no son únicamente las hipótesis, sino además se incluye en la
    demostración una línea con la negación de la conclusión. Por otro lado el objetivo de la demostración es llegar a una
    contradicción.

    Ejemplo 1:
    La expresión ‘(p ^ q) → (p ∨ r)’ es una tautología

    Primeramente se construye el árbol de acuerdo a los pasos 1 y 2 del algortimo en el Tema 1.8 Evaluacion de Expresiones.

    Recordemos que si no se tiene práctica haciendo el árbol sintáctico, una buena idea es numerar los operadores en orden

    jerárquico.

    Una vez numerado se forma el árbol empezando por el número más grande en orden descendiente.

    1 de 4 03/05/11 11:50
    Tautologias Y Contradicciones http://www.mitecnologico.com/Main/TautologiasY...

    Utilizamos el árbol para construir la tabla, para ver con detalle los pasos ver el Tema 1.8 Evaluacion de Expresiones.

    p q r ¬r p∧q p∨¬r (p ∧ q) → (p ∨ ¬ r)
    V V V F V V V
    V V F V V V V
    V F V F F V V
    V F F V F V V
    F V V F F F V
    F V F V F V V
    F F V F F F V
    F F F V F V V

    Vemos que la última columna tiene unicamente V por que se comprueba que es una tautología.

    Tautologías Fundamentales

    p ∨ ¬p Ley del medio excluido


    ¬ (p ^ ¬p) Ley de no contradicción
    ¬(¬p) ↔ p Doble Negación
    ¬(p ∨ q) ↔ ¬p ^ ¬q Ley 1 de De Morgan
    ¬(p ^ q) ↔ ¬p ∨ ¬q Ley 2 de De Morgan
    ((p → q)^p) → q Modus ponendo ponens
    ((p → q)^ ¬ q) → ¬ p Modus tollendo tollens
    ((p ∨ q) ∧ ¬ p) → q Silogismo Disyuntivo

    2 de 4 03/05/11 11:50
    Tautologias Y Contradicciones http://www.mitecnologico.com/Main/TautologiasY...

    ((p → q) ∧ (q → r)) → (p →
    Silogismo Hipotético
    r)
    Condicional como
    (p → q) ↔ (¬ p ∨ q)
    cláusula
    ((p → q) ↔ (¬ q → ¬ p) Contrapositiva

    ‘Ejemplo 2.’
    Veamos la comprobación de Modus Tollendo Tollens

    ((p → q) ∧ ¬q) → ¬p

    El árbol sintáctico es:

    Y la tabla comprueba que es una tautología.

    p q p → q ¬ q (p → q) ∧ ¬ q ¬ p ((p → q) ∧ ¬ q) → ¬ p
    V V V F F F V
    V F F V F F V
    F V V F F V V
    F F V V V V V

    ----

    Presentacion :

    3 de 4 03/05/11 11:50
    Tautologias Y Contradicciones http://www.mitecnologico.com/Main/TautologiasY...

    (:includeurl http://docs.google.com/TeamPresent?fs=true&docid=dhnn3gsg_0s3wscx&skipauth=true :)

    Conclusion
    Esta tema nos llevo a otro concepto que se conoce y se usa desde la filosofia hasta la electronica. Esto nos ayuda a poder
    comprobar expresiones enteras si son verdaderas o falsas. No cabe duda que es un tema base par anuestro aprendizaje.

    Bibliografia
    Wikipedia.org
    Monografias.com

    Editado por Gomez Leon Francisco Javier y Duck Prado Mario Alberto

    Ingenieria en Sistemas Computacionales 1A

    ⇐ Tema Anterior: 1.8 Evaluacion de Expresiones

    Siguiente Tema: 1.9.1 Equivalencias Logicas y


    ⇒
    Utilizaciones

    Regresar al TEMARIO: Matematicas Computacion

    4 de 4 03/05/11 11:50

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy