Logique Travaux Dirigés - Partie 7 Corrigés - Université Bretagne Sud
Ce sixième TD est consacré à des exercices et compléments pour la Logique ... Par définition, tout sous-ensemble d'un ensemble sat est sat, donc S1 sat.
Ce sixième TD est consacré à des exercices et compléments pour la Logique ... Par définition, tout sous-ensemble d'un ensemble sat est sat, donc S1 sat.