Examen Julio 2011 Ejercicio 3b

Examen Julio 2011 Ejercicio 3b

de Gabriela Nataly Wynants Lombardini -
Número de respuestas: 3

Tengo una consulta sobre una derivacion alternativa.

Pide dar una derivacion de:
(∀x)(P(x)→(∃y)(¬x='y)), (∀x)(P(x)→(∀y)f(x)='y), (∀x)(P(x) |- \bot

Lo que yo hice fue:

La prueba de (∃y)(¬x=‘y) es la misma que la que ponen en la solucion.

¿Está bien??

Gracias!

En respuesta a Gabriela Nataly Wynants Lombardini

Re: Examen Julio 2011 Ejercicio 3b

de Andres Sebastian Bentos Gomez -

Creo que si !.

Lo único que no se si está bien es RI4*, me parece que es RI4, porque no hay fórmulas en ese renglón.

En respuesta a Andres Sebastian Bentos Gomez

Re: Examen Julio 2011 Ejercicio 3b

de Gabriela Nataly Wynants Lombardini -

pero (¬x=‘y) no es una formula?

Muchas gracias por responder!