Ononot — Which rule of inference is P, P \implies Q \vdash Q?

Guest Session: 1 Question Remaining. Create Account to save progress.

Logicmedium

0:00.0

Which rule of inference is $P, P \implies Q \vdash Q$ ?