Lazi

sous-formule (stricte)

Définition de "sous-formule"

Soit x une formule lazi, alors y est une sous-formule de x si et seulement si on a la disjonction :

  • y = x
  • il existe x1,x2 telles que x = x1 +f x2 et y est une sous-formule de x1 ou x2

Définition de "sous-formule stricte"

Soit x une formule lazi, alors y est une sous-formule stricte de x si y est une sous-formule de x et si x≠y.