The rule fracP,PrightarrowQthereforeQ\\frac{P, P \\rightarrow Q}{\\therefore Q}fracP,PrightarrowQthereforeQ is:
Modus Ponens
Modus Tollens
Resolution
Syllogism