Introduction à la Logique. Théorie de la
démonstration Errata de la deuxième édition
Dernière modification le 20 Avril 2004
Corrigé de l'exercice 8 du chapitre 4.
Le modèle donné par la figure 3 est bien un
contre-modèle de la question 5 mais pas de la question 4. Pour
cette question il faut prendre le même ensemble de base avec
alpha et beta mais - beta satisfait X et Y - alpha ne satisfait ni X ni Y