En este ejercicio se pide una funcion MV : L → N que devuelva el maximo indice de variable que aparece en la formula.
L no tiene los simbolos < ni > , en la solucion se define usando la funcion max, mi consulta es, que otras funciones son aceptadas como conocidas independientemente de los simbolos del lenguaje? min podria ser otra, por ejemplo?