Me ayudan con esta derivación? ( a →b ) → c |— c v ¬b
No sé como sacarme de encima a "b" después de la introducción del implica con las hipótesis que tengo.
En respuesta a Fabian Nicolas Troche Gutierrez
Re: 1er parcial 2014 ej 3-a
A mi me quedo así, capaz que te ayuda a terminarla, en general si veo que no llego con las hipotesis que tengo, hago aparecer ⊥ y añado la negación como hipotesis.
En respuesta a Ignacio Rafael Ferreira Urrutia
Re: 1er parcial 2014 ej 3-a
Muchas gracias