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
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...