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.
TD 3 : Premier ordre, compacité, théories
TD 4 : (corrigé) Compacité, incomplétude
TD 5 : Calcul des séquents
TD 6 : Logique intuitionniste, mondes de Kripke
TD 7 : Logique modale
TD 8 : Algèbre modale
TD9 : Presburger
TD 10 : Presburger et Ehrenfeucht-Fraïssé