Buenas! Espero se encuentren bien.
En el video de práctico solucionaron este ejercicio ( ej. 8 parte d ) de la siguiente manera ( dejando por fuera las restricciones ).
Estoy agarrando la mano con hacer sustituciones y me preguntaba si se puede hacer lo siguiente:
Recuadré en rojo la parte "nueva" y escribí la restricción correspondiente a esta parte ( no escribí las reglas que no cambiaron ni las otras restricciones ).
Las preguntas que me surgen son las siguientes:
- Es correcto el razonamiento? Incluyendo la restricció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?
- 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?
Muchas gracias!
Saludos,
Diego Furrer.