TIPOS DE FORMAS PROPOCIONALES

Tautología,
es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables.

Contradicción 
 es aquella proposición que siempre es falsa para todos los valores de verdad

contingencia   
es aquella proposicion que en los valores hay verdadera y falsa