Logicmedium
0:00.0

Which rule of inference is shown by PQ,¬PQ\frac{P \lor Q, \neg P}{\therefore Q}?