Which of the following is a valid logical inference rule?
If P→QP \rightarrow QP→Q and QQQ is True, then PPP is True.
If P→QP \rightarrow QP→Q and ¬P\neg P¬P is True, then ¬Q\neg Q¬Q is True.
If P→QP \rightarrow QP→Q and PPP is True, then QQQ is True.
If P∨QP \lor QP∨Q and PPP is True, then QQQ must be False.