Equivalências são um poderoso recurso na lógica. Elas são utilizadas, por exemplo, quando queremos provar a validade de argumentos. Aliás, há situações que, sem elas, simplesmente fazer a prova se torna impossível. Observe o quadro a seguir:

i) \( J \leftrightarrow K \) e \( \neg(\neg J \lor \neg K) \lor \neg(K \lor J) \)

ii) \( (P \dot{\cup} Q) \rightarrow R \) e \( (P \rightarrow (Q \rightarrow R) \)

iii) \( \neg(A \lor B) \) e \( \neg A \lor \neg B \)

iv) A proposição \( (A \lor B) \rightarrow C \) e sua contraposição.

Diante das relações que o quadro apresenta, são equivalências EXCETO: