Which of these represents the Law of Syllogism?
If P ⟹ QP \implies QP⟹Q and PPP, then QQQ
If P ⟹ QP \implies QP⟹Q and Q ⟹ RQ \implies RQ⟹R, then P ⟹ RP \implies RP⟹R
If ¬Q\neg Q¬Q and P ⟹ QP \implies QP⟹Q, then ¬P\neg P¬P
P∨¬P≡TP \lor \neg P \equiv TP∨¬P≡T