///
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 P÷Q é logicamente equivalente à proposição ~P÷~Q.