///
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 “Se Lucas vai a sua cidade natal, então Lucas brinca com seus amigos” pode ser expressa por “quando vai a sua cidade natal, Lucas brinca com seus amigos”.