Logicmedium
0:00.0

The rule fracP,PrightarrowQthereforeQ\\frac{P, P \\rightarrow Q}{\\therefore Q} is: