A alternativa que apresenta uma proposição equivalente a “ P ⇒ Q ” é:
P ∨ Q.
Q ∨ ¬P.
P ⇔ Q.
¬P ⇒¬Q.
P ∧ ¬Q.