Una equivalencia tautológica se puede expresar como implicaciones . Si A(BC) es una implicación tautológica, entonces, dado y siempre podemos deducir .