Déduction naturelle : exercices interactifs

Exercices interactifs de logique et de déduction naturelle pour la prépa MPI : construire des arbres de preuve et appliquer les règles de déduction.

Activer JavaScript pour utiliser les exercices interactifs.