LIFLC Logique classique TD 5 Correction - CNRS

... exercices limité à 4 pour ce TD. Nous monterons en puissance sur la Logique des Prédicats (LP1) au fur et à mesure des prochains TD. Bon travail ! Page 2 ...