The rule (P→Q)∧(Q→R)⇒(P→R)(P \rightarrow Q) \land (Q \rightarrow R) \Rightarrow (P \rightarrow R)(P→Q)∧(Q→R)⇒(P→R) is called:
Hypothetical Syllogism
Conjunction
Simplification
Modus Ponens