Notation substitution

Simplex
Simplex
dans Fondements et Logique
Bonjour à tous,

Je suis en train de lire le livre de R DAVID, K NOUR et C RAFFALLI : "Introduction à la logique" Dunod, 2ème édition.
Je m'interroge sur le sens d'une notation apparaissant p 54 dans le Lemme 1.6.5 2ème ligne, fin de ligne :
t[y := v][x := u[y := v]]

Il ne semble pas s'agir de la notation de la substitution simultanée, ni de celle de la substitution consécutive, telles que définies Paragraphe 1.2.5 Remarque 4 p 22.
Mais alors de quoi s'agit-il ?

D'avance merci pour vos éclaircissements.
Cordialement.

Réponses

  • GaBuZoMeu
    GaBuZoMeu
    Je n'ai pas regardé le bouquin en question, mais je lis :
    Dans $t$, remplacer $y$ par $v$ puis remplacer $x$ par le résultat du remplacement de $y$ par $v$ dans $u$.
  • Simplex
    Simplex
    Parfait, merci.
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 6

ADtopopot +4 Invités