Which rule of inference is fracnegQ,PrightarrowQthereforenegP\\frac{\\neg Q, P \\rightarrow Q}{\\therefore \\neg P}fracnegQ,PrightarrowQthereforenegP?
Modus Ponens
Modus Tollens
Syllogism
Conjunction