Cours de logique L2

Vous trouverez ici au fur et à mesure des séance de cours les TD de logique des prédicats ainsi que leurs corrigés.