Correction de l'examen de Logique pour l'informatique MPCIE2
Correction de l'examen de ... par la méthode de la falsification : supposons qu'il
existe une valuation v ... Nous choisissons la méthode (b) pour le symbole Y :.
Correction de l'examen de ... par la méthode de la falsification : supposons qu'il
existe une valuation v ... Nous choisissons la méthode (b) pour le symbole Y :.