abstract:A formula of the predicate calculus is in prenexThe term 'prenex' comes from the Latin praenexus "tied or bound up in front", past participle of praenectere normal form] if it is written as a string of [[quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).