Logicmedium
0:00.0

Which rule of inference is fracnegQ,PrightarrowQthereforenegP\\frac{\\neg Q, P \\rightarrow Q}{\\therefore \\neg P}?