Corrigé du TD de Logique 4 - ENS
Corrigé du TD de Logique 4. 17 et 20 octobre 2014 ... ?x?y, y > x pour l'
absence de plus grand élément. 3. La négation de l'axiome de densité : ?x, y?z
(z > x ...
Corrigé du TD de Logique 4. 17 et 20 octobre 2014 ... ?x?y, y > x pour l'
absence de plus grand élément. 3. La négation de l'axiome de densité : ?x, y?z
(z > x ...