A equivalência lógica entre duas proposições, p e q, pode ser representada simbolicamente como: p !$ \Leftrightarrow !$ q, ou simplesmente por p = q.

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

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