Cours et TD5 mars 2026Quentin FortierProfesseur d'informatique Fin TD "Logique propositionnelle (rappels)". TD "Déduction naturelle", exercice 1. Fin cours "Déduction naturelle". À faire : TD "Déduction naturelle", exercice 2.
