INF124 Exercice 1 : Preuves en déduction naturelle et en français

Le sujet comporte 5 exercices indépendants. ? Le sujet est sur 45 points. ... Démontrez à l'aide d'une preuve en déduction naturelle que les 3 règles de ...