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