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.
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.