Lazi

résultat d'un calcul

Contexte

Un calcul, qu'il soit élémentaire ou non, ne comprend pas la formule de départ. Nous définissons ici la formule résultant de l'application d'un calcul sur une formule.

Définition

Soit c un calcul (élémentaire ou non) (sous-entendu pour un certain langage de calcul). Soit f une formule.

Si c est un calcul élémentaire :

Si c peut s'appliquer à f, alors le résultat du calcul c sur f est le résultat de la fonction "objet" de la règle de calcul (simplifiante,finale,composition) correspondante.

Si c est un calcul :

Le résultat du calcul c sur f est la composition des calculs élémentaires de c que l'on applique à f.