Salut,
Voici ma question : Est il possible de mettre une formule en forme disjonctive ?
C'est à dire mettre une formule qui contient des : il existe, des ou, des et, des non,... sous la forme "(blabla) ou (blabla2) ou (blabla3) ou ..." sans "ou" dans les blabla.
Sans de "il existe" c'est relativement triviale. Mais avec les "il existe" je demande si il y a un moyen (élimination de quantificateur ?)...
Merci
-----