3.
son un método para saber si una fórmula molecular (es decir,
formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir,siempre F).Si los valores son siempre V tenemos una Tautología,si siempre son F estamos ante
una contradicción.