| Retour | Sommaire | Suite |
Nous venons, par contraction des applications, d'obtenir le texte.
|
* Par l'hypothèse H nous avons (Trans E R). * L'élément z appartient à E. * L'élément y appartient à E. * L'élément x appartient à E. * Par l'hypothèse H2 nous avons (Inv E R y z). * Par l'hypothèse H1 nous avons (Inv E R x y). Par application nous avons (R z x). |
Encore une fois, une demi-douzaine de phrases est utilisée là où une seule serait préférables. Chaque phrase précédée d'une étoile ne sert qu'à préciser que l'on fait référence à une variable (selon les cas une hypothèse, ou un élément de E). C'est excessif. Une seule phrase peut suffire à donner toutes ces indications à la fois. On obtient à alors le texte plus court.
|
En appliquant l'hypothèse H à z, y, x, H2 et H1 nous avons (R z x). |
Si l'on a bien en tête ce que sont H, H1 et H2, cette phase est satisfaisante. Mettons maintenant bout à bout les différents textes partiels obtenus. (Suite)
| Retour | Sommaire | Suite |