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