Duas proposições são logicamente equivalentes quando são compostas pelas mesmas proposições simples e suas tabelas-verdade são idênticas. Em consequência, ao trocar certa proposição por outra equivalente, muda-se apenas o modo de dizê-la.

Em relação às proposições logicamente equivalentes, julgue o item a seguir.

A → B !$ \Leftrightarrow !$ !$ \lnot !$B ∨ A