///
Diz-se que as proposições P e Q são logicamente equivalentes quando possuem tabelas-verdade idênticas, de modo que tais proposições assumem os mesmos valores lógicos em função de suas proposições representa uma forma de expressar uma mesma afirmação de diferentes maneiras.
A negação da proposição “Marcos gosta de estudar, mas não gosta de fazer provas” é logicamente equivalente à proposição “Marcos não gosta de estudar e gosta de fazer provas”.