Sustituyendo en una función proposicional las variables de individuos "x", "y", "z"...