Consider the implication P ⟹ QP \implies QP⟹Q. Which of the following is its contrapositive?
Q ⟹ PQ \implies PQ⟹P
¬P ⟹ ¬Q\neg P \implies \neg Q¬P⟹¬Q
¬Q ⟹ ¬P\neg Q \implies \neg P¬Q⟹¬P
P ⟺ QP \iff QP⟺Q