TAUTOLOGIA

TAUTOLOGIA

En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.1 2 La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología

CONTRADICCION

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.

En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. Por ejemplo, la siguiente tabla demuestra una contradicción:

CONTINGENCIA

En lógica y filosofía, la contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso.1 En general la contingencia se predica de los estados de cosas, los hechos, los eventos o las proposiciones.1 Existe un debate sobre si es aceptable hablar de entidades contingentes (o entidades necesarias o imposibles),1 conocido como el debate en torno a las modalidades de dicto (de la palabra) y de res (de la cosa).

La relación entre necesidad, posibilidad y contingencia es fácil de malentender.1 Todo lo que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello que es necesario también es posible, pero no es contingente. Por otra parte, no todo lo que no es necesario es contingente, pues lo que es imposible no es ni necesario ni contingente.

En lógica modal, se dice que una fórmula es contingente cuando es verdadera en al menos un mundo posible y falsa en otro.

...