///
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.
As proposições PvQ÷R e (P÷R)w(Q÷R) são logicamente equivalentes.