Glossaris

Eliminació dels quantificadors existencials d’una fórmula. Les variables quantificades existencialment són substituïdes per constants i funcions de Skolem.