Activité d’introduction : calcul propositionnel Le fichier ods de l’activité le fichier ods de l’exercice