En un par de parciales vi que en las derivaciones hacen la eliminación del or, pero no logro entender de donde sale o como darse cuenta de que hay que usar eso. ¿Por qué puedo poner f(a) or f(b)? ¿Y por qué a partir de eliminar un or me quedaría un bottom abajo?
Gracias.
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.