Tautologia

Tautología:
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 cualquierinterpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es unatautología o no. Es cuando el resultado de una proposición, reflejada en la tabla de verdad siempre es verdadero en virtud de su sola forma, sea cual sea el valor de verdad de las proposiciones simplesque la componen, sean valores V (verdadero) o F (falso), de cada una de las proposiciones que la integran. Es decir, que todas las proposiciones o argumentos deductivos válidos son, por definicióntautologías.
Contradicción:
Es una proposición que siempre es falsa para todos los valores de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea, el resultado de la fórmulalógica estudiada siempre va a ser falso.
Una de las más usadas y menos compleja es P ∧ ¬P (se lee: P y no P). Su tabla de verdad es la siguiente.
P ¬P P ∧ ¬P
V F V
F V V



Ejemplop: El coche es rojo.
La proposición P ∧ ¬P corresponde a decir que “El coche es rojo y el coche no es rojo”. Por lo tanto se está contradiciendo o produciéndose una Falacia.
Una proposicióncompuesta en la que los resultados unas veces son 1 y otras 0 en las distintas líneas de la tabla de verdad se denomina Contingencia.





Paradojas:
Una paradoja es el término que se utiliza paradefinir, desde la lógica, a aquellas conclusiones que resultan ser contradictorias a partir de un conjunto de premisas consideradas como válidas. Este término, utilizado desde la antigüedad,aproximadamente desde el siglo V antes de Cristo, proviene de las palabras en griego “Para” y “Doxos”, las que en conjunto pueden traducirse al español como “más allá de lo creíble”. Una paradoja es una...