Tipos de proposiciones lógicas

TAUTOLOGÍA

Es una proposición cuyos VALORES DE VERDAD del OPERADOR PRINCIPAL son TODOS VERDADEROS,cualquiera sea el valor de verdad de sus componentes.
Ejemplo:

CONTRADICCIÓN

Es una proposición cuyos VALORES DE VERDAD del OPERADOR PRINCIPAL son TODOS FALSOS,
cualquiera que sea el valor de verdad de sus componentes.
Ejemplo:

CONTINGENCIA

No es ni tautología ni contradicción porque los VALORES DE VERDAD de su OPERADOR PRINCIPAL tienen por lo menos una VERDAD y/o una FALSEDAD.