///
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 proposição “Como gosta de estudar e é compenetrado, João se tornará cientista” pode ser expressa por “Se João gosta de estudar e é compenetrado, então, se tornará cientista”.