EJEMPLO TAUTOLOGIA:Va ser tautologa cuando todos los valores de
resultado son verdaderos.
Me castigan si no como y si como me castigan. Me castigan siempre me castigan. p | q | -P | ((-p q) | | (pq)) | q | V|V|F|V|V|V|V| V|F|F|V|F|F|V| F|V|V|V|V|V|V| F|F|V|F|F|V|V| EJEMPLO DE CONTRADICCION:Va ser contradiccin cuando todos los valores de resultado falsos. p V V F F
q V F V F
[(p q) q]q VVVFF F FFFV FVVFF FFFFV
EJEMPLO CONTINGENCIA: Cuya evaluacin al final tiene por resultado