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.