CORRIGE DE L'EXERCICES EN VUE DE LA PREPARATION DE L ...
Exercice 1. Mettre sous forme normale prénexe les fbf suivantes : a) ?X P(X) ... possible. ==> essayer de repousser le plus à gauche le quantificateur existentiel ...
Exercice 1. Mettre sous forme normale prénexe les fbf suivantes : a) ?X P(X) ... possible. ==> essayer de repousser le plus à gauche le quantificateur existentiel ...