Examen de logique
Exercice 1 (Relations d'équivalence embo?tées). On consid`ere le langage (égalitaire) L = {E0,E1}, o`u E0 et E1 sont des symboles de relation binaires.
Exercice 1 (Relations d'équivalence embo?tées). On consid`ere le langage (égalitaire) L = {E0,E1}, o`u E0 et E1 sont des symboles de relation binaires.