Existem proposições compostas que são logicamente equivalentes a outras. Por exemplo, a proposição $p \rightarrow q$ é equivalente à proposição $ \thicksim q \rightarrow \thicksim p$. Veja a tabela-verdade:
Para descobrirmos se proposições são equivalentes basta usarmos a tabela-verdade conforme feito acima