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.

!$ \lnot !$(!$ \lnot !$A) !$ \Leftrightarrow !$ A