Which of the following is an example of a contingent statement?
P∨¬PP \lor \neg PP∨¬P
P∧¬PP \land \neg PP∧¬P
P ⟹ QP \implies QP⟹Q
P ⟺ PP \iff PP⟺P