COURS 2 Logique

Cette partie est destinée à donner les bases de démonstrations au travers de l'écriture ensembliste et de la logique propositionnelle.