Buenas, tengo un problema en yoda cuando quiero eliminar un All (para todo).
Llego a P(x)\/Q(x)->x=c y ahi lo que quiero es hacer una eliminacion del All sustituyendo [z/x] asi llego a (All z)(P(z)\/Q(z)->z=c), pero no me deja, alguien sabe que estoy haciendo mal? Cualquier cosa ayuda.
Saludos!