Sémantique formelle Exercice
Corrigé. Exercice. Les variables liées sont indiquées par des flèches (qui pointent vers le quantificateur qui les lie) ; les variables libres sont ...
Corrigé. Exercice. Les variables liées sont indiquées par des flèches (qui pointent vers le quantificateur qui les lie) ; les variables libres sont ...