Hola.
La RI4 se está aplicando sobre la fórmula P(x). ¿Por qué? porque "pasamos" de tener P(x) a tener P(c), gracias a que sabemos que x =' c (si se cumple P(x) y se cumple que x='c, entonces se cumple P(c)).
Tomando la definición de RI4, tu observación sobre la falta de la restricción * es correcta. Sin embargo, como se trata de una fórmula atómica, podemos usar la definición RI4' (diapositiva 5), que no exige el *.
Cualquier duda volvé a preguntar.Saludos