Parciales

Hola.

Estás queriendo probar  $c$ diciendo que $a \to c$. Pero vos no sabés si se cumple a o no. Capaz que se cumple b, y te serviría usar $b \to c$.

Cuado vos hacés la introducción del implica, ganas la hipótesis $a \lor b$ (y ya teníamos la hipótesis $(a \to c) \land (b \to c)$).

Si se cumple a, nos serviría usar $a \to c$, si se cumple b, nos sirve $b \to c$. Sabemos que alguno de los dos se cumple, así que nos sirve separar en esos dos casos. ¿Qué regla nos permite separar en casos?

Saludos

Romina