Quy tắc suy luận nào sau đây là quy tắc tam đoạn luận?

(P∧(P→Q)) → Q

((P→Q) ∨ (Q→R)) → (P→R)

((P→Q) ∨ (Q→R)) → (Q→R)

((P→Q) ∧ (Q→R)) → (P→R)