[Primer Parcial Mayor 2012][Ejercicio 3]

[Primer Parcial Mayor 2012][Ejercicio 3]

de Claudio Daniel Gonzalez Gonzalez -
Número de respuestas: 5

Gente, tengo una duda con respecto a la primer derivación de este parcial, ¿alguien lo hizo?, adjunto una captura de pantalla con lo que hice, ¿está bien?

Adjunto derivacion.jpg
En respuesta a Claudio Daniel Gonzalez Gonzalez

Re: [Primer Parcial Mayor 2012][Ejercicio 3]

de Andres Bello Ureta -

Yo la hice igual que vos, para mi esta bien!

En respuesta a Andres Bello Ureta

Re: [Primer Parcial Mayor 2012][Ejercicio 3]

de Claudio Daniel Gonzalez Gonzalez -

Pero no pasa nada si te sobran hipótesis?, digo porque en este caso sobra una 'q'.

En respuesta a Claudio Daniel Gonzalez Gonzalez

Re: [Primer Parcial Mayor 2012][Ejercicio 3]

de Andres Bello Ureta -

No, porque deberia de generarte problemas? Yo igualmente trate de hacera de otra forma para que no me sobraran hipotesis pero no pude, capaz que hay alguna otra forma y no se me ocurre

En respuesta a Claudio Daniel Gonzalez Gonzalez

Re: [Primer Parcial Mayor 2012][Ejercicio 3]

de Fernando Carpani -

Hola.

Si tienen dudas de qué pasa si hay hipótesis que no se usan, revisen las definiciones. Por ejemplo:

\Gamma \vdash \varphi \Leftrightarrow \bar{\exists} d \in Der . H(d) \subseteq \Gamma \text{ y } C(D) = \varphi

La primer parte del "y" te dice que pasa si te sobran hipótesis.

Saludos.

FDO.