Según entiendo del teórico, RI4 se aplica cuando tengo n parejas de términos que son iguales, sustituyendo los primeros por los segundos simultáneamente en otro término.
Para esta derivación, tengo x =' y y P(x,y), pero P(x,y) no es un término. No sería correcto aplicar RI4* para este paso?
Muchas gracias!