Identify the 'Law of Syllogism' in propositional logic.
If P ⟹ QP \implies QP⟹Q and Q ⟹ RQ \implies RQ⟹R, then P ⟹ RP \implies RP⟹R
If P ⟹ QP \implies QP⟹Q and PPP, then QQQ
If P∨QP \lor QP∨Q and ¬P\neg P¬P, then QQQ
If P ⟹ QP \implies QP⟹Q, then ¬Q ⟹ ¬P\neg Q \implies \neg P¬Q⟹¬P