Ce TD présentera quelques exercices de base en logique mathématique.