prenex normal form - Turc Anglais Dictionnaire