Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t1, t2, ..., tn, são equivalentes é o mesmo que afirmar que é uma tautologia a proposição