¿Que justifica cada paso? (Ejercicio 1)

Un estudiante de Lógica Computacional realiza la derivación del siguiente razonamiento

y escribe lo siguiente:

pero olvida escribir las justificaciones de cada uno de sus pasos... Les invito a indicar y discutir cuáles son tales justificaciones.