TAUTOLOGÍA CONTRADICCIÓN Y CONTINGENCIA

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Tautología

Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad  para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Ejemplo:

Contradicción

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Ejemplo:

Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores de las proposiciones que la integran.

Ejemplo:

TABLAS DE VERDAD

TABLAS DE VERDAD 

En lógica un valor de verdad es un valor que indica en que medida una proposición es verdad.

Valor de verdad

Cuando construimos una proposición compuesta es necesario tomar en cuenta todas las posibles combinaciones que se generan a partir de los diferentes valores que adoptan cada una de las proposiciones simples que la componen. 

La tabla de verdad esta compuesta por filas y columnas. El numero de filas depende del numero de proposiciones simples a trabajar, y esta dado por la siguiente expresión.

DISYUNCIÓN EXCLUSIVA 

Una fórmula disyuntiva exclusiva es verdadera solo cuando sus variables son diferentes, en otro caso es falsa.El operador lógico disyunción exclusiva nos dice que dadas dos proposiciones a y b, obtenemos un valor verdadero al aplicar el operador sí y solamente sí.

Conjunción

Si las dos proposiciones son iguales es verdadero y si son diferentes es falso.

CONDICIONAL

En la condicional la consecuente es falsa.

BICONDICIONAL

La bicondicional es falsa si tiene una proposiciones son diferentes y verdadera cuando ambas proposiciones son iguales.