Logicmedium
0:00.0

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