b. |- (Exi x)(P(x) \/ Q(x)) /\ (Exi z)(-P(z) /\ -Q(z)) -> (Exi x)(Exi w)(-x = w)
Si alguien sabe cómo seguirlo..
Quise aplicar RI4 pero no pude o no la aplique bien!
Muchas gracias,
Verónica
Segundo parcial 2011, Ejercicio 3 parte b
Número de respuestas: 14
En respuesta a Veronica Viviana Pintos Fernandez
Re: Segundo parcial 2011, Ejercicio 3 parte b
de Luis Sierra -
apenas empezás la prueba, elegís como testigos a x y a z. ¿quiénes son?
En respuesta a Luis Sierra
Re: Segundo parcial 2011, Ejercicio 3 parte b
A esa altura de la prueba se que son dos variables iguales..
Yo para probar -P(x) quería hacer algo del estilo:
[ x = z] [-P(z) /\ -Q(z)]
_________RI2 _______________ E /\ 1
z = x -P(z)
__________________________ RI4*
-P(x)
y algo parecido para probar -Q(x)
En respuesta a Veronica Viviana Pintos Fernandez
Re: Segundo parcial 2011, Ejercicio 3 parte b
Hola Veronica! Yo lo logré hacer así, no se si está bien pero YODA me dejó hacerlo.
En respuesta a Gabriel Valentin Rodriguez Pena
Re: Segundo parcial 2011, Ejercicio 3 parte b
Muchas gracias por la respuesta!
En respuesta a Veronica Viviana Pintos Fernandez
Re: Segundo parcial 2011, Ejercicio 3 parte b
Tengo una duda sobre este ejercicio.
el -x=w que esta despues del implica de la derivacion, es -(x=w) o es (-x=w) ? perdon la pregunta pero estoy confundido.
En respuesta a Juan Carlos Dominguez Preliasco
Re: Segundo parcial 2011, Ejercicio 3 parte b
Es -(x=w), (-x)=w no es posible porque implicaría la negación de un elemento de TERM y no de FORM. ¿Que significaría la negación de una variable?
En respuesta a Gabriel Valentin Rodriguez Pena
Re: Segundo parcial 2011, Ejercicio 3 parte b
El (-x = w) no tiene sentido, ya que el not forma parte de las fórmulas de FORM, y se puede aplicar cuando yo tengo 
perteneciente a form, en ese caso x pertenece a TERM, por lo cual carece de sentido.
Lo correcto es -(x=w)
En respuesta a Juan Carlos Dominguez Preliasco
Re: Segundo parcial 2011, Ejercicio 3 parte b
Me sumo a tu duda, debe ser -(x='w) porque sino la solución que mandó el compañero estaría mal pero igualmente no estoy seguro..
En respuesta a Jorge Ignacio Jaume Cano
Re: Segundo parcial 2011, Ejercicio 3 parte b
Por que estaría mal mi solucion? En todo momento se interpreta como -(x=w)
En respuesta a Gabriel Valentin Rodriguez Pena
Re: Segundo parcial 2011, Ejercicio 3 parte b
Perdón, entendí mal tu mensaje. Saludos!
En respuesta a Gabriel Valentin Rodriguez Pena
Re: Segundo parcial 2011, Ejercicio 3 parte b
Se mal interpretó, tu solución está bien. Traté de contestar la pregunta sin saber la respuesta, basándome en lo que vos hiciste, por eso puse lo que puse..
Ya entendí como es la notación ahora..
Gracias..
En respuesta a Jorge Ignacio Jaume Cano
Re: Segundo parcial 2011, Ejercicio 3 parte b
Impeca. Muchas Gracias a todos.
Saludos
En respuesta a Gabriel Valentin Rodriguez Pena
Re: Segundo parcial 2011, Ejercicio 3 parte b
Que fue lo que escribiste en cada uno de los dos cuadros para poder usar RI4*?
Si | Esto fuera el cuadro de la izquierda | y esto el de la derecha| ?
En respuesta a Diego Kiedanski Estrugo
Re: Segundo parcial 2011, Ejercicio 3 parte b
Fijate acá que en la segunda respuesta lo explican bien de bien https://eva.fing.edu.uy/mod/forum/discuss.php?d=32464