EntityQ281854· pop 13· linked from 44 articlesprenex normal formSign in to savefirst-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free partConnectionsfirst-order logicEntityquantifierEntitySkolem normal formEntityfree and bound variablesEntityalgebraic normal formEntityLatinEntityInternational Standard Book NumberEntitynatural numberEntityKurt GödelEntityringEntitypropositional calculusEntitylogical disjunctionEntityAlfred TarskiEntitylogical conjunctionEntitymaterial implicationEntitylogical operatorEntitytautologyEntityuniversal quantificationEntityexistential quantificationEntityclassical logicEntityCategoriesNormal forms (logic)