Hola Diego:
Acá respondo tus preguntas:
Es correcto el razonamiento? Incluyendo la restricción.
Sí, es correcta tu derivación.
En la restricción, podría haber escrito "y está libre para y en P(x)^P(y)" y "x está libre para y en P(x)^P(y)"? O es necesario utilizar una tercera variable externa siempre?
No es necesario usar una tercera variable. Es correcta la restricción que planteás.
En el parcial, se pueden usar colores para escribir las reglas en la derivación como en la primera imagen? O es necesario realizar todo con lápiz?
Se pueden usar colores. Pero recomendamos no usar el rojo ya que es el que utilizamos nosotros para escribir las correcciones.