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
Fonte: ANALISTA DE SISTEMAS JúNIOR - PROCESSOS DE NEGóCIOS / PETROBRAS / 2012 / CESGRANRIO