You will find here the Exercise Sessions (in french) of the logic course dispensed for L3 students at ENS Paris-Saclay.
TD 1 : Propositionnal Logic.
TD 2 : Natural deduction and tableaux.
TD 3 : First order, compacity, theories
TD 4 :(corrected) Compacity, incompletness
TD 5 : Sequent Calculus
TD 6 : Intuitionnistic logic, Kripke worlds