argument minimal ou maximal d'une formule
Contexte
Voir "arguments d'une formule"
Définition
Soit x une formule qui est une application x1 +f x2.
Argument maximal
x2 est l'argument maximal de x.
Argument minimal
Si x1 est une application alors l'argument minimal de x est l'argument minimal de x1, sinon c'est x2.