The rule of inference fracPrightarrowQ,QrightarrowRthereforePrightarrowR\\frac{P \\rightarrow Q, Q \\rightarrow R}{\\therefore P \\rightarrow R}fracPrightarrowQ,QrightarrowRthereforePrightarrowR is known as:
Disjunctive Syllogism
Resolution
Modus Ponens
Hypothetical Syllogism