Logique math

Le programme couvre la logique propositionnelle ainsi que des éléments de la
théorie des ensembles.