TD du cours de Logique de Mme Isabelle Drouet.