Ononot — Which rule of inference allows concluding P \lor Q from P?

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

Logicmedium

0:00.0

Which rule of inference allows concluding $P \lor Q$ from $P$ ?