Nicolas Dumange TD Logique

Vous pouvez trouver ici les TD du cours de logique donné en L3 à l'ENS Paris-Saclay.

TD 1 : Logique Propositionnelle.

TD 2 : Déduction naturelle et tableaux.