Tengo una duda respecto a la primera derivacion y es la siguiente.
Cuando aplica la regla RI4, segun el bosquejo la aplica sobre un termino, porque si la aplicara sobre una formula deberia haber una restriccion * que la fundamente. Esta bien el bosquejo o se deberia aplicar la regla sobre la formula?
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