Corrigé des Exercices d'approfondissement du chapitre 4.
?X P(X) ? ?Y Q(Y,X)) n'est pas en fnp. Par application successives des ... Exercice 1. Mettre sous forme normale prénexe les fbf suivantes : a) ?X P(X) ...
?X P(X) ? ?Y Q(Y,X)) n'est pas en fnp. Par application successives des ... Exercice 1. Mettre sous forme normale prénexe les fbf suivantes : a) ?X P(X) ...