Licence d'Informatique fondamentale

Corrigé de l'examen de programmation 2 ... démontrée en logique intuitionniste, car sinon on pourrait démontrer p ? p ? ¬p ? p, soit ? ¬p ? p,.