Implicación y equivalencia de formulas

Dos formulas ‘A’ y ‘B’ son equivalentes si y solo si sus matrices principales son iguales; si sus matrices son diferentes, se dice que ‘A’ y ‘B’ no son equivalentes.

Implicación y equivalencia de formulas: una formula ‘A’ implica a ‘B’ si y solo si unidas en forma condicional, ‘A’ como antecedente y ‘B’ como consecuente, su matriz resulta tautológica; en caso contrario se dice que ‘A’ no implica a ‘B’.