Lazi

fonctions d'une formule

Contexte

On décompose complètement (x1 n'est pas une application) une formule x : x = x1 x2 .... xn.
Les fonctions de x sont x1 ...xn-1, x1...xn-2, ..., x1
Les arguments xn, xn-1, ...,x2

Définition

Pour x une formule, les fonctions de x sont :

  • si x est une application x1 x2 : x1 ainsi que les fonctions de x1
  • si x n'est pas une application : rien.