La eliminación del or se utiliza cuando tenemos una hipótesis que es un or.
Te recomiendo que repases el teórico de Deducción Natural donde se explica con detalle como usar esa regla de eliminación y las otras.
También te conviene mirar la presentación del práctico correspondiente y que hagas los ejercicios.