CONCEPTOS

TAUTOLOGIA :
Según la lógica, una tautología es una fórmula que admite cualquier interpretación debido a que está correctamente formada. Esto significa que toda proposición es siempre válida, independientemente de los valores que se le asignen. Para comprobar la validez de una tautología se procede a la creación de una tabla de verdad.


Es cuando el resultado de las tablas de verdad es : verdadero o en todo caso todos son 1

CONTRADICCIÓN :
Se produce una contradicción cuando afirmamos algo totalmente diferente y opuesto a lo que hemos expresado sobre la misma cuestión con anterioridad.

Es cuando el resultado de las tablas de verdad es : falso o en todo caso todos son 0.

CONTINGENCIA :
En la filosofía y la lógica modal, se denomina contingencia a un modo de ser de aquello que no es ni necesario ni imposible. La contingencia se predica de los estados de cosas y de las proposiciones.

Es cuando el resultado de las tablas de verdad es : verdadero y falso o en todo caso todos son 0,1.

FORMALIZACIÓN :
En lógica, formalizar, en este sentido, significa modelar formalmente (es decir, producir un modelo formal de) una proposición, argumento, teoría o lenguaje, para explicar o entender mejor sus propiedades y relaciones lógicas como validez, consistencia, consecuencia lógica, incompatibilidad, etc.

PROPOSICIÓN :
Una proposición es cualquier enunciado lógico al que se le pueda asignar un valor de verda. Una proposición (o enunciado ) es una oración con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.