Avec cet exercice, nous allons nous intéresser au théorème de logique. Puis le professeur va nous démontrer certains thèmes de logique qu’on va appeler tautologie. Un théorème de logique (ou tautologie) est une assertion vraie quelles que soient les valeurs de vérité des éléments qui la composent.