Which of the following propositions is logically equivalent to the conditional statement $P \implies Q$?